Automated Deduction — Cade-13 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

63

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540615118, 9783540686873

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CtCoq: A system presentation

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_85 ◽

1996 ◽

pp. 231-234 ◽

Author(s):

Janet Bertot ◽

Yves Bertot

Download Full-text

An embedding of Ruby in Isabelle

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_80 ◽

1996 ◽

pp. 186-200 ◽

Author(s):

Ole Rasmussen

Download Full-text

ABSFOL: A proof checker with abstraction

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_74 ◽

1996 ◽

pp. 136-140 ◽

Author(s):

Fausto Giunchiglia ◽

Adolfo Villafiorita

Keyword(s):

Download Full-text

Learning domain knowledge to improve theorem proving

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_69 ◽

1996 ◽

pp. 62-76 ◽

Author(s):

Jörg Denzinger ◽

Stephan Schulz

Keyword(s):

Theorem Proving ◽

Domain Knowledge

Download Full-text

Grammar specification in categorial logics and theorem proving

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_123 ◽

1996 ◽

pp. 703-717 ◽

Author(s):

Saturnino F Luz-Filho

Keyword(s):

Theorem Proving

Download Full-text

Reflection of formal tactics in a deductive reflection framework

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_118 ◽

1996 ◽

pp. 628-642 ◽

Author(s):

Harald Rueß

Download Full-text

Resolution-based calculi for modal and temporal logics

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_116 ◽

1996 ◽

pp. 598-612 ◽

Author(s):

Andreas Nonnengart

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Building decision procedures for modal logics from propositional decision procedures — The case study of modal K

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_115 ◽

1996 ◽

pp. 583-597 ◽

Author(s):

Fausto Giunchiglia ◽

Roberto Sebastiani

Keyword(s):

Decision Procedures ◽

Download Full-text

Partitioning methods for satisfiability testing on large formulas

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_126 ◽

1996 ◽

pp. 748-762 ◽

Author(s):

Tai Joon Park ◽

Allen Gelder

Keyword(s):

Partitioning Methods

Download Full-text

The tableau-based theorem prover 3 T A P Version 4.0

Automated Deduction — Cade-13 - Lecture Notes in Computer Science ◽

10.1007/3-540-61511-3_95 ◽

1996 ◽

pp. 303-307 ◽

Author(s):

Bernhard Beckert ◽

Reiner Hähnle ◽

Peter Oel ◽

Martin Sulzmann

Keyword(s):

Download Full-text