What Is an Algorithm? (2000)

by Yiannis N. Moschovakis
Citations:23 - 3 self

Documents Related by Co-Citation

58 Abstract state machines capture parallel algorithms – Andreas Blass, Yuri Gurevich - 2003
115 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
405 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
1161 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
18 Recursive abstract state machines – Yuri Gurevich, Karl Stroetmann - 1997
213 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003
265 An unsolvable problem of elementary number theory – A Church - 1936
8 On the concept of algorithm”, Uspekhi Mat. Nauk 8:4 – Andrei N Kolmogorov - 1953
66 The Undecidable – Martin Davis, ed - 1965
205 A Basis for a Mathematical Theory of Computation – John Mccarthy - 1963
10 Saharon Shelah, Choiceless polynomial time – Andreas Blass, Yuri Gurevich - 1999
9 On Founding the Theory of Algorithms – Yiannis N. Moschovakis, Let L - 1998
66 Draft of the ASM Guide – Y Gurevich - 1997
31 Ordinary Interactive Small-Step Algorithms – Andreas Blass, Yuri Gurevich - 2004
50 High level system design and analysis using abstract state machines – Egon Börger - 1999
27 Composition and Submachine Concepts for Sequential ASMs – Egon Börger, Joachim Schmid - 2000
35 The Origins and the Development of the ASM Method for High Level System Design and Analysis – Egon Börger
7 webpage, http://www.eecs.umich.edu/gasm/, maintained by James K – ASM Michigan