default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID75. 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
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-12-12 20:47 CET 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:
