15. LPAR 2008:
Doha,
Qatar
Iliano Cervesato, Helmut Veith, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings.
Lecture Notes in Computer Science 5330 Springer 2008, ISBN 978-3-540-89438-4 BibTeX
Constraint Solving
Knowledge Representation 1
Proof-Theory 1
Invited Talk
Automata
Linear Arithmetic
Verification
Invited Talks
Knowledge Representation 2
Proof-Theory 2
Quantified Constraints
Modal and Temporal Logics
Rewriting
- Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann:
Improving Context-Sensitive Dependency Pairs.
636-651
Electronic Edition (link) BibTeX
- Nao Hirokawa, Georg Moser:
Complexity, Graphs, and the Dependency Pair Method.
652-666
Electronic Edition (link) BibTeX
- Nao Hirokawa, Aart Middeldorp, Harald Zankl:
Uncurrying for Termination.
667-681
Electronic Edition (link) BibTeX
- John P. Gallagher, Mads Rosendahl:
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.
682-696
Electronic Edition (link) BibTeX
- Cynthia Kop, Femke van Raamsdonk:
A Higher-Order Iterative Path Ordering.
697-711
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:29:00 2009
by Michael Ley (ley@uni-trier.de)