![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
75. Birthday: Yuri Gurevich 2015
- Lev D. Beklemishev
, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 - Laurent Bienvenu, Alexander Shen
:
K-trivial, K-low and MLR-low Sequences: A Tutorial. 1-23 - Nikolaj S. Bjørner, Arie Gurfinkel
, Kenneth L. McMillan, Andrey Rybalchenko:
Horn Clause Solvers for Program Verification. 24-51 - Andreas Blass:
Existential Fixed-Point Logic as a Fragment of Second-Order Logic. 52-68 - Alastair A. Abbott
, Cristian S. Calude
, Karl Svozil
:
On the Unpredictability of Individual Quantum Measurement Outcomes. 69-86 - Yijia Chen, Jörg Flum:
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture. 87-108 - Christian Choffrut, Serge Grigorieff:
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations. 109-128 - Bruno Courcelle:
Regularity Equals Monadic Second-Order Definability for Quasi-trees. 129-141 - Anuj Dawar
, Luc Segoufin:
Capturing MSO with One Quantifier. 142-152 - Manfred Droste, Vitaly Perevoshchikov:
Logics for Weighted Timed Pushdown Automata. 153-173 - Hila Gonen, Orna Kupferman:
Inherent Vacuity in Lattice Automata. 174-192 - Erich Grädel, Martin Grohe
:
Is Polynomial Time Choiceless? 193-209 - Patrick Cégielski, Serge Grigorieff, Irène Guessarian:
Arithmetical Congruence Preservation: From Finite to Infinite. 210-225 - Simi Haber
, Saharon Shelah
:
An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers. 226-236 - Nadia Labai, Johann A. Makowsky:
Logics of Finite Hankel Rank. 237-252 - Rohit Parikh, Çagil Tasdemir:
The Strategy of Campaigning. 253-260 - Alexander Rabinovich
:
On Almost Future Temporal Logics. 261-272 - Mark V. Sapir
:
Minsky Machines and Algorithmic Problems. 273-292 - Saharon Shelah
:
On Failure of 0-1 Laws. 293-296 - Wolfgang Thomas:
Composition Over the Natural Number Ordering with an Extra Binary Relation. 297-306 - Vladimir Vovk
:
The Fundamental Nature of the Log Loss Function. 307-318
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.