Automated Deduction — CADE-15 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646754, 9783540691105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unification in lambda-calculi with if-then-else

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054251 ◽

1998 ◽

pp. 103-118 ◽

Author(s):

Michael Beeson

Download Full-text

System description: Cooperation in model elimination: CPTHEO

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054245 ◽

1998 ◽

pp. 42-46 ◽

Author(s):

Marc Fuchs ◽

Andreas Wolf

Keyword(s):

Model Elimination ◽

System Description

Download Full-text

System description: similarity-based lemma generation for model elimination

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054243 ◽

1998 ◽

pp. 33-37 ◽

Author(s):

Marc Fuchs

Keyword(s):

Model Elimination ◽

System Description ◽

Lemma Generation

Download Full-text

Extensional higher-order resolution

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054248 ◽

1998 ◽

pp. 56-71 ◽

Author(s):

Christoph Benzmüller ◽

Michael Kohlhase

Keyword(s):

Download Full-text

System description: An equational constraints solver

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054252 ◽

1998 ◽

pp. 119-123 ◽

Author(s):

Nicolas Peltier

Keyword(s):

System Description

Download Full-text

Strict basic superposition

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054258 ◽

1998 ◽

pp. 160-174 ◽

Author(s):

Leo Bachmair ◽

Harald Ganzinger

Download Full-text

X.R.S: Explicit reduction systems — A first-order calculus for higher-order calculi

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054249 ◽

1998 ◽

pp. 72-87 ◽

Author(s):

Bruno Pagano

Keyword(s):

Higher Order ◽

Download Full-text

On the relationship between non-horn magic sets and relevancy testing

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054270 ◽

1998 ◽

pp. 333-348 ◽

Author(s):

Yoshihiko Ohta ◽

Katsumi Inoue ◽

Ryuzo Hasegawa

Keyword(s):

The Relationship

Download Full-text

Proving geometric theorems using clifford algebra and rewrite rules

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054242 ◽

1998 ◽

pp. 17-32 ◽

Author(s):

Stéphane Fèvre ◽

Dongming Wang

Keyword(s):

Clifford Algebra ◽

Download Full-text

A resolution decision procedure for the guarded fragment

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054260 ◽

1998 ◽

pp. 191-204 ◽

Author(s):

Hans de Nivelle

Keyword(s):

Decision Procedure ◽

Guarded Fragment

Download Full-text