OpenAlex | Ordinary interactive small-step algorithms, I

Ordinary interactive small-step algorithms, I

Work

Year: 2006

Type: article

Abstract: This is the first in a series of articles extending the abstract state machine thesis---that arbitrary algorithms are behaviorally equivalent to abstract state machines---to algorithms that can intera... more

Source: ACM Transactions on Computational Logic

Authors Andreas Blass, Yuri Gurevich

Institutions University of Michigan–Ann Arbor, Microsoft (United States)

Cites: 13

Cited by: 58

Related to: 10

FWCI: 5.458

Citation percentile (by year/subfield): 92.58

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: green