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 BibTeX
Invited Talk
Specific Theories
Automated Verification
Protocol Verification
System Descriptions 1
- Martin Avanzini, Georg Moser, Andreas Schnabl:
Automated Implicit Computational Complexity Analysis (System Description).
132-138
Electronic Edition (link) BibTeX
- Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer:
LogAnswer - A Deduction-Based Question Answering System (System Description).
139-146
Electronic Edition (link) BibTeX
- Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch:
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).
147-153
Electronic Edition (link) BibTeX
- Andrew Gacek:
The Abella Interactive Theorem Prover (System Description).
154-161
Electronic Edition (link) BibTeX
- Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke:
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).
162-170
Electronic Edition (link) BibTeX
- André Platzer, Jan-David Quesel:
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).
171-178
Electronic Edition (link) BibTeX
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 © Sat May 16 23:00:07 2009
by Michael Ley (ley@uni-trier.de)
