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

4. IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2008: Sydney, NSW, Australia

Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science 5195 Springer 2008, ISBN 978-3-540-71069-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talk

Specific Theories

Automated Verification

Protocol Verification

System Descriptions 1

Invited Talk

Modal Logics

Description Logics

System Descriptions 2

Invited Talk

Equational Theories

Invited Talk

Theorem Proving 1

CASC

Theorem Proving 2

Logical Frameworks

Tree Automata

Copyright © Mon Nov 2 20:22:41 2009 by Michael Ley (ley@uni-trier.de)