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

Proof Generation in the Touchstone Theorem Prover

2000 ◽  
pp. 25-44 ◽  
Author(s):  
George C. Necula ◽  
Peter Lee
Keyword(s):  
Theorem Prover

Extending Decision Procedures with Induction Schemes

2000 ◽  
pp. 324-345 ◽  
Author(s):  
Deepak Kapur ◽  
Mahadavan Subramaniam
Keyword(s):  
Decision Procedures

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

2000 ◽  
pp. 511-512
Author(s):  
Peter B. Andrews ◽  
Chad E. Brown
Keyword(s):  
Theorem Proving ◽  
Higher Order

Complete Monotonic Semantic Path Orderings

2000 ◽  
pp. 346-364 ◽  
Author(s):  
Cristina Borralleras ◽  
Maria Ferreira ◽  
Albert Rubio

Workshop: Automated Deduction in Education

2000 ◽  
pp. 516-516
Author(s):  
Erica Melis
Keyword(s):  
Automated Deduction

Rewriting for Cryptographic Protocol Verification

2000 ◽  
pp. 271-290 ◽  
Author(s):  
Thomas Genet ◽  
Francis Klay
Keyword(s):  
Protocol Verification ◽  
Cryptographic Protocol

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

2000 ◽  
pp. 482-496 ◽  
Author(s):  
Ian Horrocks ◽  
Ulrike Sattler ◽  
Stephan Tobies
Keyword(s):  
Description Logic

Modular Reasoning in Isabelle

2000 ◽  
pp. 99-114 ◽  
Author(s):  
Florian Kammüller
Keyword(s):  
Modular Reasoning

Tutorial: Meta-logical Frameworks

2000 ◽  
pp. 507-508
Author(s):  
Carsten Schürmann
Keyword(s):  
Logical Frameworks

System Description: PTTP+GLiDeS Semantically Guided PTTP

2000 ◽  
pp. 411-416 ◽  
Author(s):  
Marianne Brown ◽  
Geoff Sutcliffe
Keyword(s):  
System Description
Load More ...
Sign in / Sign up

Export Citation Format

Share Document