Persistent queries in the behavioral theory of algorithms

DOI10.1145/1877714.1877722zbMath1351.68095OpenAlexW2072375373MaRDI QIDQ2946634

Andreas Blass, Yuri Gurevich

Publication date: 17 September 2015

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

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

zbMATH Keywords

abstract state machinessequential algorithmsinteractive algorithmssmall-step algorithmsstep-for-step simulation

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Related Items (1)

What is the natural abstraction level of an algorithm?

This page was built for publication: Persistent queries in the behavioral theory of algorithms