70. Birthday: Yuri Gurevich 2010
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (Eds.): Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-15024-1
On Yuri Gurevich
- Jan Van den Bussche: Database Theory, Yuri, and Me. 49-60
Technical Papers
- Sergei N. Artëmov: Tracking Evidence. 61-74
- Andreas Blass: Existential Fixed-Point Logic, Universal Quantifiers, and Topoi. 108-134
- Patrick Cégielski, Irène Guessarian: Normalization of Some Extended Abstract State Machines. 165-180
- Anuj Dawar: On Complete Problems, Relativizations and Logics for Complexity Classes. 201-207
- Bruno Durand, Andrei E. Romashchenko, Alexander Shen: Effective Closed Subshifts in 1D Can Be Implemented in 2D. 208-226
- Thomas Eiter, Georg Gottlob, Thomas Schwentick: The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. 227-250
- Marie Ferbus-Zanda, Serge Grigorieff: ASMs and Operational Algorithmic Completeness of Lambda Calculus. 301-327
- Martin Grohe: Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs. 328-353
- Wilfrid Hodges: Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic. 354-404
- Marcel Jackson, Mikhail V. Volkov: The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion. 414-443
- Tomer Kotek, Johann A. Makowsky: Definability of Combinatorial Functions and Their Linear Recurrence Relations. 444-462
- Dexter Kozen: Halting and Equivalence of Program Schemes in Models of Arbitrary Theories. 463-469
- Vladik Kreinovich: Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics. 470-487
- Vladimir Lifschitz: Thirteen Definitions of a Stable Model. 488-503
- Grigori Mints: Decidability of the Class E by Maslov's Inverse Method. 529-537
- Lawrence S. Moss: Logics for Two Fragments beyond the Syllogistic Boundary. 538-564
- Benjamin Rossman: Choiceless Computation and Symmetry. 565-580
- Wolfgang Thomas: On Monadic Theories of Monadic Predicates. 615-626
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team