ACM Transactions on Computational Logic (TOCL), Volume 1

Volume 1, Number 1, July 2000

• Lawrence C. Paulson:
  Mechanizing UNITY in Isabelle. 3-32
  
• Leonid Libkin:
  Logics with counting and local properties. 33-59
  
• Dexter Kozen:
  On Hoare logic and Kleene algebra with tests. 60-76
  
• Yuri Gurevich:
  Sequential abstract-state machines capture sequential algorithms. 77-111
  
• Martin Grohe, Thomas Schwentick:
  Locality of order-invariant first-order formulas. 112-130
  
• Paolo Liberatore:
  Compilability and compact representations of revision of Horn knowledge bases. 131-161
  
• Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton:
  Model-checking continous-time Markov chains. 162-170
  
• Ernie Cohen, Dexter Kozen:
  A note on the complexity of propositional Hoare logic. 171-174
  

Volume 1, Number 2, October 2000

• Nir Friedman, Joseph Y. Halpern, Daphne Koller:
  First-order conditional logic for default reasoning revisited. 175-207
  
• Jürgen Dix, Mirco Nanni, V. S. Subrahmanian:
  Probabilistic agent programs. 208-246
  
• Alessio Lomuscio, Ron van der Meyden, Mark Ryan:
  Knowledge in multiagent systems: initial configurations and broadcast. 247-284
  
• Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget:
  Search and strategies in OPL. 285-320