Persistent queries in the behavioral theory of algorithms
From MaRDI portal
Publication:2946634
DOI10.1145/1877714.1877722zbMath1351.68095MaRDI QIDQ2946634
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
abstract state machines; sequential algorithms; interactive algorithms; small-step algorithms; step-for-step simulation
68W01: General topics in the theory of algorithms
Related Items