Crossroads of Computability and Logic: Insights, Inspirations, and Innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings

Book title Buchtitel
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
 
ISBN
978-3-031-95907-3
 
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
Cham
 
DOI
10.1007/978-3-031-95908-0
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wiesnet, Franziskus Constructive Analysis of Maximal Ideals in ℤ[X] by the Material InterpretationInproceedings Konferenzbeitrag 20-Jun-2025