Volume 5, Number 1, January 2004
- Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence formats for decorated trace semantics. 26-78
Volume 5, Number 2, April 2004
- Slim Abdennadher, Christophe Rigotti: Automatic generation of rule-based constraint solvers over finite domains. 177-205
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: A logic programming approach to knowledge-state planning: Semantics and complexity. 206-263
- Stefan Ratschan: Convergent approximate solving of first-order constraints by approximate quantifiers. 264-281
- K. Subramani: Optimal length tree-like resolution refutations for 2SAT formulas. 316-320
- Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari: Classes of term rewrite systems with polynomial confluence problems. 321-331
- Aleksandar Ignjatovic, Arun Sharma: Some applications of logic to feasibility in higher types. 332-350
- Laurent Michel, Pascal Van Hentenryck: A decomposition-based implementation of search strategies. 351-383
Volume 5, Number 3, July 2004
- Pawel Mielniczuk: Basic theory of feature trees. 385-402
- Frank Neven, Thomas Schwentick, Victor Vianu: Finite state machines for strings over infinite alphabets. 403-435
- Marco Bernardo: Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. 436-469
- Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Termination of simply moded logic programs with dynamic scheduling. 470-507
- Yann Loyer, Nicolas Spyratos, Daniel Stamate: Hypothesis-based semantics of logic programs in multivalued logics. 508-527
Volume 5, Number 4, October 2004
- J. V. Tucker, Jeffery I. Zucker: Abstract versus concrete computation on metric partial algebras. 611-668
- Carsten Lutz: NEXP TIME-complete description logics with concrete domains. 669-705
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. 706-731
- Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie: Interval constraint solving for camera control and motion planning. 732-767
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