Applied Logic Series - Automated Deduction — A Basis for Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048150519, 9789401704359

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel Term Rewriting with Paredux

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_9 ◽

1998 ◽

pp. 231-259 ◽

Cited By ~ 3

Author(s):

Bündgen ◽

Göbel ◽

Küchlin ◽

Weber

Keyword(s):

Term Rewriting

Download Full-text

Proof Analysis, Generalization and Reuse

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_8 ◽

1998 ◽

pp. 189-219 ◽

Cited By ~ 1

Author(s):

Thomas Kolbe ◽

Christoph Walther

Keyword(s):

Proof Analysis

Download Full-text

Specifications of Inference Rules: Extensions of the PTTP Technique

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_7 ◽

1998 ◽

pp. 167-188

Author(s):

Gerd Neugebauer ◽

Uwe Petermann

Keyword(s):

Inference Rules

Download Full-text

A Comparison of Equality Reasoning Heuristics

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_13 ◽

1998 ◽

pp. 361-382 ◽

Cited By ~ 2

Author(s):

Jörg Denzinger ◽

Matthias Fuchs

Keyword(s):

Equality Reasoning

Download Full-text

Parallel Theorem Provers Based on Setheo

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_10 ◽

1998 ◽

pp. 261-290

Author(s):

Johann Schumann ◽

Andreas Wolf ◽

Christian Suttner

Keyword(s):

Theorem Provers

Download Full-text

Proof Theory at Work: Program Development in the Minlog System

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_2 ◽

1998 ◽

pp. 41-71 ◽

Cited By ~ 13

Author(s):

Benl ◽

Berger ◽

Schwichtenberg ◽

Seisenberger ◽

Zuber

Keyword(s):

Program Development ◽

Proof Theory ◽

Work Program

Download Full-text

Cooperating Theorem Provers

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_14 ◽

1998 ◽

pp. 383-416 ◽

Cited By ~ 3

Author(s):

Jörg Denzinger ◽

Ingo Dahn

Keyword(s):

Theorem Provers

Download Full-text

Structured Specifications and Interactive Proofs with KIV

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_1 ◽

1998 ◽

pp. 13-39 ◽

Cited By ~ 55

Author(s):

W. Reif ◽

G. Schellhorn ◽

K. Stenzel ◽

M. Balser

Keyword(s):

Interactive Proofs

Download Full-text

Interactive and Automated Proof Construction in Type Theory

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_3 ◽

1998 ◽

pp. 73-96 ◽

Cited By ~ 1

Author(s):

M. Strecker ◽

M. Luther ◽

F. Von Henke

Keyword(s):

Type Theory ◽

Proof Construction ◽

Automated Proof

Download Full-text

Extension Methods in Automated Deduction

Applied Logic Series - Automated Deduction — A Basis for Applications ◽

10.1007/978-94-017-0435-9_12 ◽

1998 ◽

pp. 331-359 ◽

Cited By ~ 2

Author(s):

M. Baaz ◽

U. Egly ◽

A. Leitsch

Keyword(s):

Automated Deduction

Download Full-text

Applied Logic Series - Automated Deduction — A Basis for ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Parallel Term Rewriting with Paredux

Proof Analysis, Generalization and Reuse

Specifications of Inference Rules: Extensions of the PTTP Technique

A Comparison of Equality Reasoning Heuristics

Parallel Theorem Provers Based on Setheo

Proof Theory at Work: Program Development in the Minlog System

Cooperating Theorem Provers

Structured Specifications and Interactive Proofs with KIV

Interactive and Automated Proof Construction in Type Theory

Extension Methods in Automated Deduction

Applied Logic Series - Automated Deduction — A Basis for Applications
Latest Publications