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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540581567, 9783540484677

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tactic theorem proving with refinement-tree proofs and metavariables

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

10.1007/3-540-58156-1_44 ◽

1994 ◽

pp. 605-619 ◽

Cited By ~ 5

Author(s):

Amy Felty ◽

Douglas Howe

Keyword(s):

Theorem Proving

Download Full-text

Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

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

10.1007/3-540-58156-1_28 ◽

1994 ◽

pp. 401-415 ◽

Cited By ~ 2

Author(s):

Nicholas Freitag McPhee ◽

Shang-Ching Chou ◽

Xiao-Shan Gao

Keyword(s):

Wu’S Method ◽

Wu's Method

Download Full-text

Exploring abstract algebra in constructive type theory

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

10.1007/3-540-58156-1_43 ◽

1994 ◽

pp. 590-604 ◽

Cited By ~ 11

Author(s):

Paul Jackson

Keyword(s):

Type Theory ◽

Abstract Algebra ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Mechanizable inductive proofs for a class of ∀ ∃ formulas

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

10.1007/3-540-58156-1_9 ◽

1994 ◽

pp. 118-132 ◽

Cited By ~ 1

Author(s):

Jacques Chazarain ◽

Emmanuel Kounalis

Download Full-text

SETHEO V3.2: Recent developments

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

10.1007/3-540-58156-1_59 ◽

1994 ◽

pp. 778-782 ◽

Cited By ~ 17

Author(s):

Chr. Goller ◽

R. Letz ◽

K. Mayr ◽

J. Schumann

Keyword(s):

Recent Developments

Download Full-text

DELTA — A bottom-up preprocessor for top-down theorem provers

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

10.1007/3-540-58156-1_58 ◽

1994 ◽

pp. 774-777 ◽

Cited By ~ 18

Author(s):

Johann M. Ph. Schumann

Keyword(s):

Top Down ◽

Bottom Up ◽

Theorem Provers

Download Full-text

Decidable higher-order unification problems

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

10.1007/3-540-58156-1_46 ◽

1994 ◽

pp. 635-649 ◽

Cited By ~ 8

Author(s):

Christian Prehofer

Keyword(s):

Higher Order

Download Full-text

Str∔ve and integers

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

10.1007/3-540-58156-1_29 ◽

1994 ◽

pp. 416-430

Author(s):

Larry M. Hines

Download Full-text

On intuitionistic query answering in description bases

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

10.1007/3-540-58156-1_23 ◽

1994 ◽

pp. 326-340

Author(s):

Véronique Royer ◽

J. Joachim Quantz

Keyword(s):

Query Answering

Download Full-text

Primal grammars and unification modulo a binary clause

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

10.1007/3-540-58156-1_20 ◽

1994 ◽

pp. 282-295 ◽

Cited By ~ 2

Author(s):

Gernot Salzer

Download Full-text

Automated Deduction — CADE-12 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Tactic theorem proving with refinement-tree proofs and metavariables

Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

Exploring abstract algebra in constructive type theory

Mechanizable inductive proofs for a class of ∀ ∃ formulas

SETHEO V3.2: Recent developments

DELTA — A bottom-up preprocessor for top-down theorem provers

Decidable higher-order unification problems

Str∔ve and integers

On intuitionistic query answering in description bases

Primal grammars and unification modulo a binary clause

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