ACM Transactions on Computational Logic (TOCL), Volume 10

Volume 10, Number 1, January 2009

• Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt:
  Specifying norm-governed computational societies.
  Electronic Edition (ACM DL) BibTeX
• Lou van den Dries, Yiannis N. Moschovakis:
  Arithmetic complexity.
  Electronic Edition (ACM DL) BibTeX
• Neil Yorke-Smith, Carmen Gervet:
  Certainty closure: Reliable constraint reasoning with incomplete or erroneous data.
  Electronic Edition (ACM DL) BibTeX
• Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz:
  New results on rewrite-based satisfiability procedures.
  Electronic Edition (ACM DL) BibTeX
• Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
  Reasoning about actions with sensing under qualitative and probabilistic uncertainty.
  Electronic Edition (ACM DL) BibTeX
• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
  A finite equational base for CCS with left merge and communication merge.
  Electronic Edition (ACM DL) BibTeX
• Juha Kontinen:
  A logical characterization of the counting hierarchy.
  Electronic Edition (ACM DL) BibTeX

Volume 10, Number 2, February 2009

• Ugo Dal Lago:
  The geometry of linear higher-order recursion.
  Electronic Edition (ACM DL) BibTeX
• Ruggero Lanotte, Simone Tini:
  Probabilistic bisimulation as a congruence.
  Electronic Edition (ACM DL) BibTeX
• Isabelle Gnaedig, Hélène Kirchner:
  Termination of rewriting under strategies.
  Electronic Edition (ACM DL) BibTeX
• Maurizio Gabbrielli, Maria Chiara Meo:
  A compositional semantics for CHR.
  Electronic Edition (ACM DL) BibTeX
• Stefano Guerrini, Andrea Masini:
  Proofs, tests and continuation passing style.
  Electronic Edition (ACM DL) BibTeX
• Lutz Schröder, Dirk Pattinson:
  PSPACE bounds for rank-1 modal logics.
  Electronic Edition (ACM DL) BibTeX
• Paola Bruscoli, Alessio Guglielmi:
  On the proof complexity of deep inference.
  Electronic Edition (ACM DL) BibTeX

Volume 10, Number 3, April 2009

• Stavros Tripakis:
  Checking timed Büchi automata emptiness on simulation graphs.
  Electronic Edition (ACM DL) BibTeX
• Stéphane Demri, Ranko Lazic:
  LTL with the freeze quantifier and register automata.
  Electronic Edition (ACM DL) BibTeX
• Lucas Bordeaux, Marco Cadoli, Toni Mancini:
  Generalizing consistency and other constraint properties to quantified constraints.
  Electronic Edition (ACM DL) BibTeX
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
  Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.
  Electronic Edition (ACM DL) BibTeX
• Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji:
  An algebra of quantum processes.
  Electronic Edition (ACM DL) BibTeX
• Adel Bouhoula:
  Simultaneous checking of completeness and ground confluence for algebraic specifications.
  Electronic Edition (ACM DL) BibTeX
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
  Tableau calculus for preference-based conditional logics: PCL and its extensions.
  Electronic Edition (ACM DL) BibTeX
• Akitoshi Kawamura:
  Differential recursion.
  Electronic Edition (ACM DL) BibTeX