Fields of Logic and Computation II

Keyphrases

Publications

2015

Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Arithmetical Congruence Preservation: From Finite to Infinite. Fields of Logic and Computation II (2015)
Hila Gonen, Orna Kupferman
Inherent Vacuity in Lattice Automata. Fields of Logic and Computation II (2015)
Erich Grädel, Martin Grohe
Is Polynomial Time Choiceless? Fields of Logic and Computation II (2015)
Christian Choffrut, Serge Grigorieff
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations. Fields of Logic and Computation II (2015)
Andreas Blass
Existential Fixed-Point Logic as a Fragment of Second-Order Logic. Fields of Logic and Computation II (2015)
Laurent Bienvenu, Alexander Shen
-low Sequences: A Tutorial. Fields of Logic and Computation II (2015)
Alexander Rabinovich
On Almost Future Temporal Logics. Fields of Logic and Computation II (2015)
Simi Haber, Saharon Shelah
An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers. Fields of Logic and Computation II (2015)
Manfred Droste, Vitaly Perevoshchikov
Logics for Weighted Timed Pushdown Automata. Fields of Logic and Computation II (2015)
Bruno Courcelle
Regularity Equals Monadic Second-Order Definability for Quasi-trees. Fields of Logic and Computation II (2015)
Nadia Labai, Johann A. Makowsky
Logics of Finite Hankel Rank. Fields of Logic and Computation II (2015)
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, Andrey Rybalchenko
Horn Clause Solvers for Program Verification. Fields of Logic and Computation II (2015)
Anuj Dawar, Luc Segoufin
Capturing MSO with One Quantifier. Fields of Logic and Computation II (2015)
Vladimir Vovk
The Fundamental Nature of the Log Loss Function. Fields of Logic and Computation II (2015)
Alastair A. Abbott, Cristian S. Calude, Karl Svozil
On the Unpredictability of Individual Quantum Measurement Outcomes. Fields of Logic and Computation II (2015)
Rohit Parikh, Çagil Tasdemir
The Strategy of Campaigning. Fields of Logic and Computation II (2015)
Saharon Shelah
On Failure of 0-1 Laws. Fields of Logic and Computation II (2015)
Mark V. Sapir
Minsky Machines and Algorithmic Problems. Fields of Logic and Computation II (2015)
Yijia Chen, Jörg Flum
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture. Fields of Logic and Computation II (2015)
Wolfgang Thomas
Composition Over the Natural Number Ordering with an Extra Binary Relation. Fields of Logic and Computation II (2015)

volume 9300, 2015

Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Fields of Logic and Computation II 9300 (2015)