ACM Transactions on Computational Logic (TOCL), Volume 9

Volume 9, Number 1, December 2007

• Sharon Shoham, Orna Grumberg:
  A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
  Electronic Edition (ACM DL) BibTeX
• Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff:
  A formally verified proof of the prime number theorem.
  Electronic Edition (ACM DL) BibTeX
• Jan Van den Bussche, Stijn Vansummeren:
  Polymorphic type inference for the named nested relational calculus.
  Electronic Edition (ACM DL) BibTeX
• Shuvendu K. Lahiri, Randal E. Bryant:
  Predicate abstraction with indexed predicates.
  Electronic Edition (ACM DL) BibTeX
• Christel Baier, Nathalie Bertrand, Ph. Schnoebelen:
  Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
  Electronic Edition (ACM DL) BibTeX
• Malgorzata Biernacka, Olivier Danvy:
  A concrete framework for environment machines.
  Electronic Edition (ACM DL) BibTeX
• Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli:
  Outlier detection by logic programming.
  Electronic Edition (ACM DL) BibTeX

Volume 9, Number 2, March 2008

• Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli:
  A comprehensive combination framework.
  Electronic Edition (ACM DL) BibTeX
• Chiaki Sakama, Katsumi Inoue:
  Coordination in answer set programming.
  Electronic Edition (ACM DL) BibTeX
• Slawomir Lasota, Igor Walukiewicz:
  Alternating timed automata.
  Electronic Edition (ACM DL) BibTeX
• Felix Klaedtke:
  Bounds on the automata size for Presburger arithmetic.
  Electronic Edition (ACM DL) BibTeX
• Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin:
  Durations and parametric model-checking in timed automata.
  Electronic Edition (ACM DL) BibTeX
• Floris Geerts, Sofie Haesevoets, Bart Kuijpers:
  First-order complete and computationally complete query languages for spatio-temporal databases.
  Electronic Edition (ACM DL) BibTeX
• Marc Denecker, Eugenia Ternovska:
  A logic of nonmonotone inductive definitions.
  Electronic Edition (ACM DL) BibTeX

Volume 9, Number 3, June 2008

• Agostino Dovier, Carla Piazza, Gianfranco Rossi:
  A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
  Electronic Edition (ACM DL) BibTeX
• Karl Crary, Susmit Sarkar:
  Foundational certified code in the Twelf metalogical framework.
  Electronic Edition (ACM DL) BibTeX
• Samir Genaim, Andy King:
  Inferring non-suspension conditions for logic programs with dynamic scheduling.
  Electronic Edition (ACM DL) BibTeX
• Andreas Blass, Yuri Gurevich:
  Program termination and well partial orderings.
  Electronic Edition (ACM DL) BibTeX
• Andreas Blass, Yuri Gurevich:
  Abstract state machines capture parallel algorithms: Correction and extension.
  Electronic Edition (ACM DL) BibTeX
• Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
  What causes a system to satisfy a specification?.
  Electronic Edition (ACM DL) BibTeX
• Simone Bova, Franco Montagna:
  Proof search in Hájek's basic logic.
  Electronic Edition (ACM DL) BibTeX
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
  Conjunctive query containment and answering under description logic constraints.
  Electronic Edition (ACM DL) BibTeX
• Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka:
  Contextual modal type theory.
  Electronic Edition (ACM DL) BibTeX