|
48
|
Abstract state machines capture parallel algorithms
– Andreas Blass, Yuri Gurevich
- 2003
|
|
104
|
Sequential abstract state machines capture sequential algorithms
– Yuri Gurevich
|
|
384
|
Evolving Algebras 1993: Lipari Guide
– Yuri Gurevich
- 1995
|
|
914
|
On computable numbers, with an application to the “Entscheidungsproblem
– A Turing
|
|
27
|
Ordinary Interactive Small-Step Algorithms
– Andreas Blass, Yuri Gurevich
- 2004
|
|
5
|
On the concept of algorithm”, Uspekhi Mat. Nauk 8:4
– Andrei N Kolmogorov
- 1953
|
|
214
|
An unsolvable problem of elementary number theory
– A Church
- 1936
|
|
19
|
What Is an Algorithm?
– Yiannis N. Moschovakis
- 2000
|
|
7
|
General Interactive Small-Step Algorithms
– Andreas Blass , Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
- 2005
|
|
6
|
webpage, http://www.eecs.umich.edu/gasm/, maintained by James K
– ASM Michigan
|
|
58
|
Evolving Algebras 1993: Lipari Guide, Specification and Validation
– Y Gurevich
- 1995
|
|
42
|
On the definition of algorithm
– Andrei N Kolmogorov, Vladimir A Uspensky
- 1963
|
|
187
|
Abstract State Machines: A Method for High-Level System Design and Analysis
– Egon Börger
- 2003
|
|
57
|
The Undecidable
– M Davis
- 1965
|
|
20
|
Choiceless Polynomial Time
– Andreas Blass, Yuri Gurevich, Saharon Shelah
- 2000
|
|
2
|
Moschovakis 2001. What is an algorithm
– N Yiannis
- 1999
|
|
4
|
Gandy machines
– A Blass, Gurevich Y Background, reserve
- 2000
|
|
138
|
Introduction to Algorithms: A Creative Approach
– Udi Manber
|
|
6
|
Distributed Abstract State Machines and their Expressive Power
– Andreas Glausch, Wolfgang Reisig
- 2006
|
