18. CADE 2002:
Copenhagen,
Denmark
Andrei Voronkov (Ed.):
Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings.
Lecture Notes in Computer Science 2392 Springer 2002, ISBN 3-540-43931-5 BibTeX
@proceedings{DBLP:conf/cade/2002,
editor = {Andrei Voronkov},
title = {Automated Deduction - CADE-18, 18th International Conference
on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002,
Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2392},
year = {2002},
isbn = {3-540-43931-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Description Logics and Semantic Web
Proof-Carrying Code and Compiler Verification
Non-classical Logics
System Descriptions
- Jesper B. Møller:
DDDLIB: A Library for Solving Quantified Difference Inequalities.
129-133
Electronic Edition (Springer LINK) BibTeX
- Joe Hurd:
An LCF-Style Interface between HOL and First-Order Logic.
134-138
Electronic Edition (Springer LINK) BibTeX
- Jürgen Zimmer, Michael Kohlhase:
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning.
139-143
Electronic Edition (Springer LINK) BibTeX
- Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer:
Proof Development with OMEGA.
144-149
Electronic Edition (Springer LINK) BibTeX
- Mateja Jamnik, Manfred Kerber, Martin Pollet:
Learn Omega-matic: System Description.
150-155
Electronic Edition (Springer LINK) BibTeX
- Carlos Areces, Juan Heguiabehere:
HyLoRes 1.0: Direct Resolution for Hybrid Logics.
156-160
Electronic Edition (Springer LINK) BibTeX
SAT
Model Generation
CASC
CADE-CAV Invited Talk
Combination of Decision Procedures
Logical Frameworks
Model Checking
Equational Reasoning
Proof Theory
Copyright © Sat May 16 23:00:05 2009
by Michael Ley (ley@uni-trier.de)