Logical Approaches to Computational Barriers
From MaRDI portal
Publication:5898838
DOI10.1007/11780342zbMath1145.68419WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898838
Istvan Németi, Hajnalka Andréka
Publication date: 30 April 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11780342
Related Items
General relativistic hypercomputing and foundation of mathematics, The computational status of physics, Abstract geometrical computation. III: Black holes for classical and analog computing, Pi on earth, or mathematics in the real world, Using Isabelle/HOL to verify first-order relativity theory