Physical Systems as Constructive Logics

DOI10.1007/11839132_9zbMath1126.03313OpenAlexW1590073799MaRDI QIDQ5429214

No author found.

Publication date: 29 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11839132_9

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (3)

Can a Quantum Computer Run the von Neumann Architecture? ⋮ Machine semantics ⋮ Quantum circuit oracles for abstract machine computations

This page was built for publication: Physical Systems as Constructive Logics