Ordinary interactive small-step algorithms. I

DOI10.1145/1131313.1131320MaRDI QIDQ5277752zbMATHOpenAlexFDO

Authors Andreas Blass, Yuri Gurevich

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1131313.1131320

zbMATH Keywords

interactionabstract state machinespostulatessequential algorithmsequivalence of algorithms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) General topics in the theory of algorithms (68W01)

Recommendations

• Ordinary interactive small-step algorithms, II
• Ordinary interactive small-step algorithms, III
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Interactive Small-Step Algorithms I: Axiomatization
• Abstract State Machines 2004. Advances in Theory and Practice

Cited in

(16)

• Software science view on quantum circuit algorithms
• What is the natural abstraction level of an algorithm?
• Persistent queries in the behavioral theory of algorithms
• Interactive Algorithms 2005 with Added Appendix
• What is an algorithm?
• Abstract State Machines 2004. Advances in Theory and Practice
• Mathematical Foundations of Computer Science 2005
• scientific article; zbMATH DE number 1820018 (Why is no real title available?)
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Concurrent abstract state machines
• Semantics-to-Syntax Analyses of Algorithms
• When are Two Algorithms the Same?
• Interactive Small-Step Algorithms I: Axiomatization
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Ordinary interactive small-step algorithms, II
• Ordinary interactive small-step algorithms, III

This page was built for publication: Ordinary interactive small-step algorithms. I

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