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

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

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

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

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

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

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

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

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

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

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