Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18--23, 2007. Proceedings.
From MaRDI portal
Publication:2381095
DOI10.1007/978-3-540-73001-9zbMath1119.68004OpenAlexW4299807615MaRDI QIDQ2381095
No author found.
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70)
Related Items (3)
Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties ⋮ A foundation for real recursive function theory ⋮ Turing oracle machines, online computing, and three displacements in computability theory
This page was built for publication: Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18--23, 2007. Proceedings.
