Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1117.03044OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898814

Jérôme O. Durand-Lose

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

zbMATH Keywords

ConservativenessReversibility2-counter automataAbstract geometrical computationRational numbersTuring-computability

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Related Items (2)

Exact Discretization of 3-Speed Rational Signal Machines into Cellular Automata ⋮ Optical computing

This page was built for publication: Logical Approaches to Computational Barriers