Automated Deduction - CADE-17 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

49

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676645, 9783540451013

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular Reasoning in Isabelle

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_7 ◽

2000 ◽

pp. 99-114 ◽

Author(s):

Florian Kammüller

Keyword(s):

Modular Reasoning

Download Full-text

Tutorial: Meta-logical Frameworks

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_42 ◽

2000 ◽

pp. 507-508

Author(s):

Carsten Schürmann

Keyword(s):

Logical Frameworks

Download Full-text

System Description: PTTP+GLiDeS Semantically Guided PTTP

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_32 ◽

2000 ◽

pp. 411-416 ◽

Author(s):

Marianne Brown ◽

Geoff Sutcliffe

Keyword(s):

System Description

Download Full-text

Simulation Based Minimization

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_20 ◽

2000 ◽

pp. 255-270 ◽

Author(s):

Doron Bustan ◽

Orna Grumberg

Keyword(s):

Simulation Based

Download Full-text

The Nuprl Open Logical Environment

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_12 ◽

2000 ◽

pp. 170-176 ◽

Author(s):

Stuart F. Allen ◽

Robert L. Constable ◽

Rich Eaton ◽

Christoph Kreitz ◽

Lori Lorigo

Download Full-text

Workshop: Automation of Proof by Mathematical Induction

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_46 ◽

2000 ◽

pp. 514-514

Author(s):

Carsten Schürmann

Keyword(s):

Mathematical Induction

Download Full-text

Proof Generation in the Touchstone Theorem Prover

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_3 ◽

2000 ◽

pp. 25-44 ◽

Author(s):

George C. Necula ◽

Peter Lee

Keyword(s):

Download Full-text

Extending Decision Procedures with Induction Schemes

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_26 ◽

2000 ◽

pp. 324-345 ◽

Author(s):

Deepak Kapur ◽

Mahadavan Subramaniam

Keyword(s):

Decision Procedures

Download Full-text

Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_44 ◽

2000 ◽

pp. 511-512

Author(s):

Peter B. Andrews ◽

Chad E. Brown

Keyword(s):

Theorem Proving ◽

Download Full-text

Complete Monotonic Semantic Path Orderings

Automated Deduction - CADE-17 - Lecture Notes in Computer Science ◽

10.1007/10721959_27 ◽

2000 ◽

pp. 346-364 ◽

Author(s):

Cristina Borralleras ◽

Maria Ferreira ◽

Albert Rubio

Download Full-text