Handbook of Automated Reasoning
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By Elsevier

9780444508133
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Term Indexing

2001 ◽  
pp. 1853-1964 ◽  
Author(s):  
R. Sekar ◽  
I.V. Ramakrishnan ◽  
Andrei Voronkov

Inductionless Induction

2001 ◽  
pp. 913-962 ◽  
Author(s):  
Hubert Comon

The Inverse Method

2001 ◽  
pp. 179-272 ◽  
Author(s):  
Anatoli Degtyarev ◽  
Andrei Voronkov
Keyword(s):  
Inverse Method

Model Checking

2001 ◽  
pp. 1635-1790 ◽  
Author(s):  
Edmund M. Clarke ◽  
Bernd-Holger Schlingloff
Keyword(s):  
Model Checking

Higher-Order Unification and Matching

2001 ◽  
pp. 1009-1062 ◽  
Author(s):  
Gilles Dowek
Keyword(s):  
Higher Order

Paramodulation-Based Theorem Proving

2001 ◽  
pp. 371-443 ◽  
Author(s):  
Robert Nieuwenhuis ◽  
Albert Rubio
Keyword(s):  
Theorem Proving

Normal Form Transformations

2001 ◽  
pp. 273-333 ◽  
Author(s):  
Matthias Baaz ◽  
Uwe Egly ◽  
Alexander Leitsch ◽  
Jean Goubault-Larrecq ◽  
David Plaisted
Keyword(s):  
Normal Form

Automated Reasoning in Geometry

2001 ◽  
pp. 707-749 ◽  
Author(s):  
Shang-Ching Chou ◽  
Xiao-Shan Gao
Keyword(s):  
Automated Reasoning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document