Exact exploration and hanging algorithms

DOI10.1007/978-3-642-15205-4_14MaRDI QIDQ3586039zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Nachum Dershowitz, Yuri Gurevich

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15205-4_14

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Recommendations

• On Gurevich's theorem on sequential algorithms
• Sequential abstract-state machines capture sequential algorithms
• Ordinary interactive small-step algorithms, III
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• scientific article; zbMATH DE number 1860674

Cited in

(1)

• Cellular automata are generic

Describes a project that uses

Uses Software

• iRRAM
• RealLib

This page was built for publication: Exact exploration and hanging algorithms

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