Volume 6, Number 1, January 2005
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. 1-32- Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. 33-60
- Rakesh M. Verma, Ara Hayrapetyan: A new decidability technique for ground term rewriting systems with applications. 102-123
- Churn-Jung Liau: A modal logic framework for multi-agent belief fusion. 124-174
- Wim H. Hesselink: Eternity variables to prove simulation of specifications. 175-201
Volume 6, Number 2, April 2005
- Chiaki Sakama: Induction from answer sets in nonmonotonic logic programs. 203-231
- Marco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of propositional nested circumscription and nested abnormality theories. 232-272
- Kewen Wang, Lizhu Zhou: Comparisons and computation of well-founded semantics for disjunctive logic programs. 295-327
- Sara Cohen, Yehoshua Sagiv, Werner Nutt: Equivalences among aggregate queries with negation. 328-360
- Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits: Reasoning about evolving nonmonotonic knowledge bases. 389-440
- Panos Rondogiannis, William W. Wadge: Minimum model semantics for logic programs with negation-as-failure. 441-467
Volume 6, Number 3, 2005
- Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos: Datalog programs and their persistency numbers. 481-518
- Mauro Ferrari, Camillo Fiorentini, Guido Fiorino: On the complexity of the disjunction property in intuitionistic and modal logics. 519-538
- Matthew Stone: Disjunction and modular goal-directed proof search. 539-577
- George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and hypersequent calculi for abelian and łukasiewicz logics. 578-613
- Bernard Boigelot, Sébastien Jodogne, Pierre Wolper: An effective decision procedure for linear arithmetic over the integers and reals. 614-633
- Nicole Schweikardt: Arithmetic, first-order logic, and counting quantifiers. 634-671
Volume 6, Number 4, October 2005
- Krzysztof R. Apt: Editorial. 673
- Phokion G. Kolaitis: LICS 2003 special issue. 674
- Andrzej S. Murawski: About the undecidability of program equivalence in finitary languages with state. 701-726
- James F. Lynch: Convergence law for random graphs with specified degree sequence. 727-748
- Dominic J. D. Hughes, Rob J. van Glabbeek: Proof nets for unit-free multiplicative-additive linear logic. 784-842
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team