Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang, Yuri, logic, and computer science, 1-48 [Zbl 1287.01016]
Van den Bussche, Jan, Database theory, Yuri, and me, 49-60 [Zbl 1287.68037]
Artemov, Sergei, Tracking evidence, 61-74 [Zbl 1287.03038]
Avron, Arnon; Lahav, Ori, Strict canonical constructive systems, 75-94 [Zbl 1287.03099]
Bès, Alexis; Rabinovich, Alexander, Decidable expansions of labelled linear orderings, 95-107 [Zbl 1287.03025]
Blass, Andreas, Existential fixed-point logic, universal quantifiers, and topoi, 108-134 [Zbl 1287.03085]
Boker, Udi; Dershowitz, Nachum, Three paths to effectiveness, 135-146 [Zbl 1287.68043]
Boker, Udi; Kupferman, Orna, The quest for a tight translation of Büchi to co-Büchi automata, 147-164 [Zbl 1287.68092]
Cégielski, Patrick; Guessarian, Irène, Normalization of some extended abstract state machines, 165-180 [Zbl 1287.68044]
Crouch, Michael; Immerman, Neil; Moss, J. Eliot B., Finding reductions automatically, 181-200 [Zbl 1287.68024]
Dawar, Anuj, On complete problems, relativizations and logics for complexity classes, 201-207 [Zbl 1287.68062]
Durand, Bruno; Romashchenko, Andrei; Shen, Alexander, Effective closed subshifts in 1D can be implemented in 2D, 208-226 [Zbl 1287.37012]
Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas, The model checking problem for prefix classes of second-order logic: a survey, 227-250 [Zbl 1287.68107]
Chen, Yijia; Flum, Jörg, A logic for PTIME and a parameterized halting problem, 251-276 [Zbl 1287.68061]
Furia, Carlo Alberto; Meyer, Bertrand, Inferring loop invariants using postconditions, 277-300 [Zbl 1287.68108]
Ferbus-Zanda, Marie; Grigorieff, Serge, ASMs and operational algorithmic completeness of lambda calculus, 301-327 [Zbl 1287.68045]
Grohe, Martin, Fixed-point definability and polynomial time on chordal graphs and line graphs, 328-353 [Zbl 1287.68064]
Hodges, Wilfrid, Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic, 354-404 [Zbl 1287.01008]
Huggins, James K.; Wallace, Charles, Abstract state machines and the inquiry process, 405-413 [Zbl 1287.68046]
Jackson, Marcel; Volkov, Mikhail, The algebra of adjacency patterns: Rees matrix semigroups with reversion, 414-443 [Zbl 1287.08010]
Kotek, Tomer; Makowsky, Johann A., Definability of combinatorial functions and their linear recurrence relations, 444-462 [Zbl 1287.05008]
Kozen, Dexter, Halting and equivalence of program schemes in models of arbitrary theories, 463-469 [Zbl 1287.03026]
Kreinovich, Vladik, Metrization theorem for space-times: from Urysohn’s problem towards physically useful constructive mathematics, 470-487 [Zbl 1287.03109]
Lifschitz, Vladimir, Thirteen definitions of a stable model, 488-503 [Zbl 1287.68021]
Mera, Sergio; Bjørner, Nikolaj, DKAL and Z3: a logic embedding experiment, 504-528 [Zbl 1287.68153]
Mints, Grigori, Decidability of the class E by Maslov’s inverse method, 529-537 [Zbl 1287.03028]
Moss, Lawrence S., Logics for two fragments beyond the syllogistic boundary, 538-564 [Zbl 1287.03066]
Rossman, Benjamin, Choiceless computation and symmetry, 565-580 [Zbl 1287.68066]
Shelah, Saharon; Doron, Mor, Hereditary zero-one laws for graphs, 581-614 [Zbl 1287.03083]
Thomas, Wolfgang, On monadic theories of monadic predicates, 615-626 [Zbl 1287.03029]