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

SPASS & FLOTTER version 0.42

1996 ◽  
pp. 141-145 ◽  
Author(s):  
Christoph Weidenbach ◽  
Bernd Gaede ◽  
Georg Rock

On Shostak's decision procedure for combinations of theories

1996 ◽  
pp. 463-477 ◽  
Author(s):  
David Cyrluk ◽  
Patrick Lincoln ◽  
Natarajan Shankar
Keyword(s):  
Decision Procedure

scholarly journals Presenting machine-found proofs

1996 ◽  
pp. 221-225 ◽  
Author(s):  
Xiaorong Huang ◽  
Armin Fiedler

An abstract machine for fixed-order dynamically stratified programs

1996 ◽  
pp. 328-342 ◽  
Author(s):  
Konstantinos Sagonas ◽  
Terrance Swift ◽  
David S. Warren
Keyword(s):  
Abstract Machine ◽  
Fixed Order

CtCoq: A system presentation

1996 ◽  
pp. 231-234 ◽  
Author(s):  
Janet Bertot ◽  
Yves Bertot

ABSFOL: A proof checker with abstraction

1996 ◽  
pp. 136-140 ◽  
Author(s):  
Fausto Giunchiglia ◽  
Adolfo Villafiorita
Keyword(s):  
Proof Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document