14. CADE 1997:
Townsville, North Queensland, Australia William McCune (Ed.):
Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings.
Lecture Notes in Computer Science 1249 Springer 1997, ISBN 3-540-63104-6 Session 1:
Invited Lecture
export record as
dblp key:
Wu Wen-Tsün :
The Char-Set Method and Its Applications to Automated Reasoning.
1-3
Session 2
export record as
dblp key:
export record as
dblp key:
Franz Baader ,
Cesare Tinelli :
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.
19-33
export record as
dblp key:
Session 3:
System Descriptions
export record as
dblp key:
conf/cade/NieuwenhuisRV97 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
Johann Schumann :
Automatic Verification of Cryptographic Protocols with SETHEO.
87-100
export record as
dblp key:
Session 5
export record as
dblp key:
Uwe Egly :
Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.
116-130
export record as
dblp key:
Session 6
export record as
dblp key:
Koji Iwanuma :
Lemma Matching for a PTTP-based Top-down Theorem Prover.
146-160
export record as
dblp key:
export record as
dblp key:
Session 7:
Invited Lecture
export record as
dblp key:
Moshe Y. Vardi :
Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.
191-206
Session 8
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 9:
System Descriptions
export record as
dblp key:
conf/cade/BenzmullerCFFHKKKMMSSS97 Christoph Benzmüller ,
Lassaad Cheikhrouhou ,
Detlef Fehrer ,
Armin Fiedler ,
Xiaorong Huang ,
Manfred Kerber ,
Michael Kohlhase ,
Karsten Konrad ,
Andreas Meier ,
Erica Melis ,
Wolf Schaarschmidt ,
Jörg H. Siekmann ,
Volker Sorge :
Omega: Towards a Mathematical Assistant.
252-255
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cade/GiunchigliaRS97 export record as
dblp key:
export record as
dblp key:
Hantao Zhang :
SATO: An Efficient Propositional Prover.
272-275
Session 10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Seán Matthews :
A Practical Implementation of Simple Consequence Relations Using Inductive Definitions.
306-320
Session 11
export record as
dblp key:
export record as
dblp key:
Hans de Nivelle :
A Classification of Non-liftable Orders for Resolution.
336-350
Session 12
export record as
dblp key:
export record as
dblp key:
conf/cade/EastaughffeOC97 export record as
dblp key:
Session 13:
System Descriptions
export record as
dblp key:
Jason J. Hickey :
Nuprl-Light: An Implementation Framework for Higher-Order Logics.
395-399
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 14
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cade/EhrensbergerZ97
data released under the ODC-BY 1.0 license
