Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID70. Birthday: Yuri Gurevich 2010
- Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1
On Yuri Gurevich
- Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Yuri, Logic, and Computer Science. 1-48 - Jan Van den Bussche
:
Database Theory, Yuri, and Me. 49-60
Technical Papers
- Sergei N. Artëmov:
Tracking Evidence. 61-74 - Arnon Avron, Ori Lahav:
Strict Canonical Constructive Systems. 75-94 - Alexis Bès, Alexander Rabinovich:
Decidable Expansions of Labelled Linear Orderings. 95-107 - Andreas Blass:
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi. 108-134 - Udi Boker, Nachum Dershowitz:
Three Paths to Effectiveness. 135-146 - Udi Boker, Orna Kupferman:
The Quest for a Tight Translation of Büchi to co-Büchi Automata. 147-164 - Patrick Cégielski, Irène Guessarian:
Normalization of Some Extended Abstract State Machines. 165-180 - Michael S. Crouch, Neil Immerman, J. Eliot B. Moss:
Finding Reductions Automatically. 181-200 - 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 - Yijia Chen, Jörg Flum:
A Logic for PTIME and a Parameterized Halting Problem. 251-276 - Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants Using Postconditions. 277-300 - 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 - James K. Huggins, Charles Wallace:
Abstract State Machines and the Inquiry Process. 405-413 - 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 - Sergio Mera, Nikolaj S. Bjørner:
DKAL and Z3: A Logic Embedding Experiment. 504-528 - 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 - Saharon Shelah, Mor Doron:
Hereditary Zero-One Laws for Graphs. 581-614 - Wolfgang Thomas:
On Monadic Theories of Monadic Predicates. 615-626
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
