default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Computational Logic (TOCL), Volume 5
Volume 5, Number 1, January 2004
- Rajeev Alur, Salvatore La Torre:
Deterministic generators and games for Ltl fragments. 1-25 - Bard Bloom, Wan J. Fokkink
, Rob J. van Glabbeek:
Precongruence formats for decorated trace semantics. 26-78 - Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. 79-128 - Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super logic programs. 129-176
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 - Anuj Dawar, Erich Grädel, Stephan Kreutzer:
Inflationary fixed points in modal logic. 282-315 - 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 - David A. Basin, Manuel Clavel, José Meseguer:
Reflective metalogical frameworks. 528-576
Volume 5, Number 4, October 2004
- W. O. David Griffioen, Frits W. Vaandrager:
A theory of normed simulations. 577-610 - John 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, Éric Languénou, Marc Christie:
Interval constraint solving for camera control and motion planning. 732-767
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
