dblp.uni-trier.de www.uni-trier.de

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


Linear Arithmetic


Invited Talks

Knowledge Representation 2

Proof-Theory 2

Quantified Constraints

Modal and Temporal Logics


Copyright © Sat May 16 23:29:00 2009 by Michael Ley (ley@uni-trier.de)