Quantum computing and abstract state machines

DOI10.1007/3-540-36498-6_18MaRDI QIDQ4413688zbMATH OpenFDO

Authors Erich Grädel, Antje Nowack

Publication date 21 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890309.htm

Mathematics Subject Classification ID

Quantum computation (81P68)

Recommendations

• scientific article; zbMATH DE number 1860674
• scientific article; zbMATH DE number 1343482
• scientific article; zbMATH DE number 2084324
• Abstract quantum computing machines and quantum computational logics
• Ordinary interactive small-step algorithms, III

Cited in

(12)

• ASM specification and refinement of a quantum algorithm
• A guarded fragment for abstract state machines
• Abstract quantum computing machines and quantum computational logics
• What is an algorithm?
• Concurrent abstract state machines
• scientific article; zbMATH DE number 2084324 (Why is no real title available?)
• Paraconsistent Machines and their Relation to Quantum Computing
• scientific article; zbMATH DE number 5708040 (Why is no real title available?)
• scientific article; zbMATH DE number 1421018 (Why is no real title available?)
• Software science view on quantum circuit algorithms
• Theoretical computer science: computability, decidability and logic
• Can abstract state machines be useful in language theory?

This page was built for publication: Quantum computing and abstract state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413688)