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