Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding Festschrift see [Zbl 1194.03003].
Indexed articles:
Bienvenu, Laurent; Shen, Alexander, \(K\)-trivial, \(K\)-low and MLR-low sequences: a tutorial, 1-23 [Zbl 1466.68048]
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey, Horn clause solvers for program verification, 24-51 [Zbl 1465.68044]
Blass, Andreas, Existential fixed-point logic as a fragment of second-order logic, 52-68 [Zbl 1465.03074]
Abbott, Alastair A.; Calude, Cristian S.; Svozil, Karl, On the unpredictability of individual quantum measurement outcomes, 69-86 [Zbl 1465.81009]
Chen, Yijia; Flum, Jörg, The Ehrenfeucht-Fraïssé method and the planted clique conjecture, 87-108 [Zbl 1465.68098]
Choffrut, Christian; Grigorieff, Serge, Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations, 109-128 [Zbl 1465.03071]
Courcelle, Bruno, Regularity equals monadic second-order definability for quasi-trees, 129-141 [Zbl 1465.03072]
Dawar, Anuj; Segoufin, Luc, Capturing MSO with one quantifier, 142-152 [Zbl 1465.03045]
Droste, Manfred; Perevoshchikov, Vitaly, Logics for weighted timed pushdown automata, 153-173 [Zbl 1465.68142]
Gonen, Hila; Kupferman, Orna, Inherent vacuity in lattice automata, 174-192 [Zbl 1465.68178]
Grädel, Erich; Grohe, Martin, Is polynomial time choiceless?, 193-209 [Zbl 1465.68100]
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène, Arithmetical congruence preservation: from finite to infinite, 210-225 [Zbl 1465.11031]
Haber, Simi; Shelah, Saharon, An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers, 226-236 [Zbl 1465.03075]
Labai, Nadia; Makowsky, Johann A., Logics of finite Hankel rank, 237-252 [Zbl 1465.03076]
Parikh, Rohit; Taşdemir, Çağıl, The strategy of campaigning, 253-260 [Zbl 1465.91090]
Rabinovich, Alexander, On almost future temporal logics, 261-272 [Zbl 1465.03062]
Sapir, Mark, Minsky machines and algorithmic problems, 273-292 [Zbl 1465.03077]
Shelah, Saharon, On failure of 0-1 laws, 293-296 [Zbl 1465.03070]
Thomas, Wolfgang, Composition over the natural number ordering with an extra binary relation, 297-306 [Zbl 1465.03073]
Vovk, Vladimir, The fundamental nature of the log loss function, 307-318 [Zbl 1465.68116]