Fields of Logic and Computation

Keyphrases

Publications

2010

Anuj Dawar
On Complete Problems, Relativizations and Logics for Complexity Classes. Fields of Logic and Computation (2010)
Udi Boker, Orna Kupferman
The Quest for a Tight Translation of Büchi to co-Büchi Automata. Fields of Logic and Computation (2010)
Thomas Eiter, Georg Gottlob, Thomas Schwentick
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation (2010)
Dexter Kozen
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories. Fields of Logic and Computation (2010)
Sergei N. Artëmov
Tracking Evidence. Fields of Logic and Computation (2010)
Arnon Avron, Ori Lahav
Strict Canonical Constructive Systems. Fields of Logic and Computation (2010)
Bruno Durand, Andrei E. Romashchenko, Alexander Shen
Effective Closed Subshifts in 1D Can Be Implemented in 2D. Fields of Logic and Computation (2010)
Carlo A. Furia, Bertrand Meyer
Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation (2010)
Wolfgang Thomas
On Monadic Theories of Monadic Predicates. Fields of Logic and Computation (2010)
Lawrence S. Moss
Logics for Two Fragments beyond the Syllogistic Boundary. Fields of Logic and Computation (2010)
Saharon Shelah, Mor Doron
Hereditary Zero-One Laws for Graphs. Fields of Logic and Computation (2010)
Grigori Mints
Decidability of the Class E by Maslov's Inverse Method. Fields of Logic and Computation (2010)
Benjamin Rossman
Choiceless Computation and Symmetry. Fields of Logic and Computation (2010)
Alexis Bès, Alexander Rabinovich
Decidable Expansions of Labelled Linear Orderings. Fields of Logic and Computation (2010)
Vladimir Lifschitz
Thirteen Definitions of a Stable Model. Fields of Logic and Computation (2010)
Marcel Jackson, Mikhail V. Volkov
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion. Fields of Logic and Computation (2010)
Tomer Kotek, Johann A. Makowsky
Definability of Combinatorial Functions and Their Linear Recurrence Relations. Fields of Logic and Computation (2010)
Wilfrid Hodges
Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic. Fields of Logic and Computation (2010)
Michael Crouch, Neil Immerman, J. Eliot B. Moss
Finding Reductions Automatically. Fields of Logic and Computation (2010)
Vladik Kreinovich
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics. Fields of Logic and Computation (2010)
Marie Ferbus-Zanda, Serge Grigorieff
ASMs and Operational Algorithmic Completeness of Lambda Calculus. Fields of Logic and Computation (2010)
Yijia Chen, Jörg Flum
A Logic for PTIME and a Parameterized Halting Problem. Fields of Logic and Computation (2010)
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Yuri, Logic, and Computer Science. Fields of Logic and Computation (2010)
Andreas Blass
Existential Fixed-Point Logic, Universal Quantifiers, and Topoi. Fields of Logic and Computation (2010)
James K. Huggins, Charles Wallace
Abstract State Machines and the Inquiry Process. Fields of Logic and Computation (2010)
Udi Boker, Nachum Dershowitz
Three Paths to Effectiveness. Fields of Logic and Computation (2010)
Sergio Mera, Nikolaj Bjørner
DKAL and Z3: A Logic Embedding Experiment. Fields of Logic and Computation (2010)
Martin Grohe
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs. Fields of Logic and Computation (2010)
Patrick Cégielski, Irène Guessarian
Normalization of Some Extended Abstract State Machines. Fields of Logic and Computation (2010)
Jan Van den Bussche
Database Theory, Yuri, and Me. Fields of Logic and Computation (2010)

volume 6300, 2010

Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Fields of Logic and Computation 6300 (2010)