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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676645, 9783540451013

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Generation in the Touchstone Theorem Prover

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

10.1007/10721959_3 ◽

2000 ◽

pp. 25-44 ◽

Cited By ~ 16

Author(s):

George C. Necula ◽

Peter Lee

Keyword(s):

Theorem Prover

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 ◽

Cited By ~ 10

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 ◽

Higher Order

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 ◽

Cited By ~ 23

Author(s):

Cristina Borralleras ◽

Maria Ferreira ◽

Albert Rubio

Download Full-text

Workshop: Automated Deduction in Education

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

10.1007/10721959_48 ◽

2000 ◽

pp. 516-516

Author(s):

Erica Melis

Keyword(s):

Automated Deduction

Download Full-text

Rewriting for Cryptographic Protocol Verification

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

10.1007/10721959_21 ◽

2000 ◽

pp. 271-290 ◽

Cited By ~ 52

Author(s):

Thomas Genet ◽

Francis Klay

Keyword(s):

Protocol Verification ◽

Cryptographic Protocol

Download Full-text

Reasoning with Individuals for the Description Logic $\mathcal{SHIQ}$

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

10.1007/10721959_39 ◽

2000 ◽

pp. 482-496 ◽

Cited By ~ 72

Author(s):

Ian Horrocks ◽

Ulrike Sattler ◽

Stephan Tobies

Keyword(s):

Description Logic

Download Full-text

Modular Reasoning in Isabelle

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

10.1007/10721959_7 ◽

2000 ◽

pp. 99-114 ◽

Cited By ~ 6

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 ◽

Cited By ~ 1

Author(s):

Marianne Brown ◽

Geoff Sutcliffe

Keyword(s):

System Description

Download Full-text

Automated Deduction - CADE-17 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proof Generation in the Touchstone Theorem Prover

Extending Decision Procedures with Induction Schemes

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

Complete Monotonic Semantic Path Orderings

Workshop: Automated Deduction in Education

Rewriting for Cryptographic Protocol Verification

Reasoning with Individuals for the Description Logic $\mathcal{SHIQ}$

Modular Reasoning in Isabelle

Tutorial: Meta-logical Frameworks

System Description: PTTP+GLiDeS Semantically Guided PTTP

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