ACM Transactions on Computational Logic (TOCL), Volume 6

Volume 6, Number 1, January 2005

Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A classification of symbolic transition systems. 1-32
Electronic Edition (ACM DL) BibTeX
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making abstract domains condensing. 33-60
Electronic Edition (ACM DL) BibTeX
Robert Harper, Frank Pfenning:
On equivalence and canonical forms in the LF type theory. 61-101
Electronic Edition (ACM DL) BibTeX
Rakesh M. Verma, Ara Hayrapetyan:
A new decidability technique for ground term rewriting systems with applications. 102-123
Electronic Edition (ACM DL) BibTeX
Churn-Jung Liau:
A modal logic framework for multi-agent belief fusion. 124-174
Electronic Edition (ACM DL) BibTeX
Wim H. Hesselink:
Eternity variables to prove simulation of specifications. 175-201
Electronic Edition (ACM DL) BibTeX

Chiaki Sakama:
Induction from answer sets in nonmonotonic logic programs. 203-231
Electronic Edition (ACM DL) BibTeX
Marco Cadoli, Thomas Eiter, Georg Gottlob:
Complexity of propositional nested circumscription and nested abnormality theories. 232-272
Electronic Edition (ACM DL) BibTeX
Orna Kupferman, Moshe Y. Vardi:
From linear time to branching time. 273-294
Electronic Edition (ACM DL) BibTeX
Kewen Wang, Lizhu Zhou:
Comparisons and computation of well-founded semantics for disjunctive logic programs. 295-327
Electronic Edition (ACM DL) BibTeX
Sara Cohen, Yehoshua Sagiv, Werner Nutt:
Equivalences among aggregate queries with negation. 328-360
Electronic Edition (ACM DL) BibTeX
Konstantin Korovin, Andrei Voronkov:
Knuth-Bendix constraint solving is NP-complete. 361-388
Electronic Edition (ACM DL) BibTeX
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
Reasoning about evolving nonmonotonic knowledge bases. 389-440
Electronic Edition (ACM DL) BibTeX
Panos Rondogiannis, William W. Wadge:
Minimum model semantics for logic programs with negation-as-failure. 441-467
Electronic Edition (ACM DL) BibTeX
Klaus Aehlig, Jan Johannsen:
An elementary fragment of second-order lambda calculus. 468-480
Electronic Edition (ACM DL) BibTeX

Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos:
Datalog programs and their persistency numbers. 481-518
Electronic Edition (ACM DL) BibTeX
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
On the complexity of the disjunction property in intuitionistic and modal logics. 519-538
Electronic Edition (ACM DL) BibTeX
Matthew Stone:
Disjunction and modular goal-directed proof search. 539-577
Electronic Edition (ACM DL) BibTeX
George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Sequent and hypersequent calculi for abelian and &lstrok;ukasiewicz logics. 578-613
Electronic Edition (ACM DL) BibTeX
Bernard Boigelot, Sébastien Jodogne, Pierre Wolper:
An effective decision procedure for linear arithmetic over the integers and reals. 614-633
Electronic Edition (ACM DL) BibTeX
Nicole Schweikardt:
Arithmetic, first-order logic, and counting quantifiers. 634-671
Electronic Edition (ACM DL) BibTeX

Krzysztof R. Apt:
Editorial. 673
Electronic Edition (ACM DL) BibTeX
Phokion G. Kolaitis:
LICS 2003 special issue. 674
Electronic Edition (ACM DL) BibTeX
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan:
Automatic linear orders and trees. 675-700
Electronic Edition (ACM DL) BibTeX
Andrzej S. Murawski:
About the undecidability of program equivalence in finitary languages with state. 701-726
Electronic Edition (ACM DL) BibTeX
James F. Lynch:
Convergence law for random graphs with specified degree sequence. 727-748
Electronic Edition (ACM DL) BibTeX
Dale Miller, Alwen Tiu:
A proof theory for generic judgments. 749-783
Electronic Edition (ACM DL) BibTeX
Dominic J. D. Hughes, Rob J. van Glabbeek:
Proof nets for unit-free multiplicative-additive linear logic. 784-842
Electronic Edition (ACM DL) BibTeX