Yiannis N. Moschovakis

Publication Activity (10 Years)

Years Active: 1969-2011
Publications (10 Years): 0

Publications

Joan Bagaria, Yiannis N. Moschovakis, Margarita Otero, Ivan N. Soskov
Preface. Ann. Pure Appl. Log. 162 (7) (2011)
Yiannis N. Moschovakis
Classical descriptive set theory as a refinement of effective descriptive set theory. Ann. Pure Appl. Log. 162 (3) (2010)
Yiannis N. Moschovakis
Kleene's amazing Second Recursion Theorem. Bull. Symb. Log. 16 (2) (2010)
Lou van den Dries, Yiannis N. Moschovakis
Arithmetic complexity. ACM Trans. Comput. Log. 10 (1) (2009)
Yiannis N. Moschovakis
Kleene's Amazing Second Recursion Theorem. CSL (2009)
Yiannis N. Moschovakis
The Axiomatic Derivation of Absolute Lower Bounds. LICS (2008)
Yiannis N. Moschovakis
Recursion and Complexity. CiE (2005)
Lou van den Dries, Yiannis N. Moschovakis
Is the Euclidean algorithm optimal among its peers? Bull. Symb. Log. 10 (3) (2004)
Yiannis N. Moschovakis
On primitive recursive algorithms and the greatest common divisor function. Theor. Comput. Sci. 301 (1-3) (2003)
Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney
The Logic of Recursive Equations. J. Symb. Log. 63 (2) (1998)
Yiannis N. Moschovakis
A Game-Theoretic, Concurrent and Fair Model of the Typed Lambda-calculus, with Full Recursion. CSL (1997)
Yiannis N. Moschovakis
Computable Concurrent Processes. Theor. Comput. Sci. 139 (1&2) (1995)
Yiannis N. Moschovakis, Glen T. Whitney
Powerdomains, Powerstructures and Fairness. CSL (1994)
Yiannis N. Moschovakis
A Model of Concurrency with Fair Merge and Full Recursion Inf. Comput. 93 (1) (1991)
Yiannis N. Moschovakis
Computable processes. POPL (1990)
Yiannis N. Moschovakis
A Mathematical Modeling of Pure, Recursive Algorithms. Logic at Botik (1989)
Yiannis N. Moschovakis
A Game-Theoretic Modeling of Concurrency LICS (1989)
Yiannis N. Moschovakis
The Formal Language of Recursion. J. Symb. Log. 54 (4) (1989)
Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis
Meeting of the Association for Symbolic Logic: San Francisco, 1981. J. Symb. Log. 48 (2) (1983)
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 44 (3) (1979)
Jon Barwise, Yiannis N. Moschovakis
Global Inductive Definability. J. Symb. Log. 43 (3) (1978)
K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis
The Next Admissible Set. J. Symb. Log. 36 (1) (1971)
Yiannis N. Moschovakis
Abstract Computability and Invariant Definability. J. Symb. Log. 34 (4) (1969)
Yiannis N. Moschovakis
Meeting of the Association for Symbolic Logic. J. Symb. Log. 34 (1) (1969)