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 Description Logics and Semantic Web
export record as
dblp key:
Ian Horrocks :
Reasoning with Expressive Description Logics: Theory and Practice.
1-15
export record as
dblp key:
Proof-Carrying Code and Compiler Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Non-classical Logics
export record as
dblp key:
Uwe Egly :
Embedding Lax Logic into Intuitionistic Logic.
78-93
export record as
dblp key:
conf/cade/Larchey-Wendling02 export record as
dblp key:
System Descriptions
export record as
dblp key:
Jesper B. Møller :
DDDLIB: A Library for Solving Quantified Difference Inequalities.
129-133
export record as
dblp key:
Joe Hurd :
An LCF-Style Interface between HOL and First-Order Logic.
134-138
export record as
dblp key:
export record as
dblp key:
conf/cade/SiekmannBBCFFHKMMMNPSUWZ02 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
export record as
dblp key:
export record as
dblp key:
SAT
export record as
dblp key:
Eugene Goldberg :
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points.
161-180
export record as
dblp key:
export record as
dblp key:
Model Generation
export record as
dblp key:
Wolfgang Ahrendt :
Deductive Search for Errors in Free Data Type Specifications Using Model Generation.
211-225
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
CASC
export record as
dblp key:
conf/cade/WeidenbachBHKTT02 export record as
dblp key:
export record as
dblp key:
Simon Colton :
The HR Program for Theorem Generation.
285-289
export record as
dblp key:
CADE-CAV Invited Talk
export record as
dblp key:
export record as
dblp key:
conf/cade/BorrallerasLR02
Combination of Decision Procedures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Logical Frameworks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chad E. Brown :
Solving for Set Variables in Higher-Order Theorem Proving.
408-422
Model Checking
export record as
dblp key:
export record as
dblp key:
Equational Reasoning
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Proof Theory
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
