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

The design of the CADE-13 ATP system competition

1996 ◽  
pp. 146-160 ◽  
Author(s):  
Christian B. Suttner ◽  
Geoff Sutcliffe

Mechanical verification of mutually recursive procedures

1996 ◽  
pp. 201-215 ◽  
Author(s):  
Peter V. Homeier ◽  
David F. Martin
Keyword(s):  
Mechanical Verification ◽  
Recursive Procedures

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

An embedding of Ruby in Isabelle

1996 ◽  
pp. 186-200 ◽  
Author(s):  
Ole Rasmussen

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