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

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Netherlands

9789048150526, 9789401704373

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination Analysis for Functional Programs

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

10.1007/978-94-017-0437-3_6 ◽

1998 ◽

pp. 135-164 ◽

Author(s):

Jürgen Giesl ◽

Christoph Walther ◽

Jürgen Brauburger

Keyword(s):

Termination Analysis

Download Full-text

Deduction-Based Software Component Retrieval

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

10.1007/978-94-017-0437-3_11 ◽

1998 ◽

pp. 265-292 ◽

Author(s):

Bernd Fischer ◽

Johann Schumann ◽

Gregor Snelting

Keyword(s):

Software Component ◽

Component Retrieval

Download Full-text

Using Automated Theorem Provers in Verification of Protocols

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

10.1007/978-94-017-0437-3_8 ◽

1998 ◽

pp. 195-224 ◽

Author(s):

Ingo Dahn ◽

Johann Schumann

Keyword(s):

Theorem Provers

Download Full-text

Program Synthesis

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

10.1007/978-94-017-0437-3_5 ◽

1998 ◽

pp. 105-134 ◽

Author(s):

Christoph Kreitz

Keyword(s):

Program Synthesis

Download Full-text

Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints

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

10.1007/978-94-017-0437-3_10 ◽

1998 ◽

pp. 243-264 ◽

Author(s):

Frieder Stolzenburg ◽

Bernd Thomas

Keyword(s):

Theorem Prover ◽

Download Full-text

Proof Planning: A Practical Approach to Mechanized Reasoning in Mathematics

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

10.1007/978-94-017-0437-3_4 ◽

1998 ◽

pp. 77-95 ◽

Author(s):

Manfred Kerber

Keyword(s):

Practical Approach ◽

Proof Planning ◽

Mechanized Reasoning

Download Full-text

Superposition Theorem Proving for Commutative Rings

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

10.1007/978-94-017-0437-3_2 ◽

1998 ◽

pp. 31-55 ◽

Author(s):

Jürgen Stuber

Keyword(s):

Theorem Proving ◽

Commutative Rings ◽

Superposition Theorem

Download Full-text

Rewrite Based Hardware Verification with Redux

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

10.1007/978-94-017-0437-3_12 ◽

1998 ◽

pp. 293-316

Author(s):

Reinhard Bündgen

Keyword(s):

Hardware Verification

Download Full-text

Lattice-Ordered Groups in Deduction

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

10.1007/978-94-017-0437-3_1 ◽

1998 ◽

pp. 9-29

Author(s):

Ingo Dahn

Keyword(s):

Ordered Groups ◽

Lattice Ordered Groups

Download Full-text

The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV

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

10.1007/978-94-017-0437-3_7 ◽

1998 ◽

pp. 165-194 ◽

Author(s):

Gerhard Schellhorn ◽

Wolfgang Ahrendt

Keyword(s):

Compiler Correctness ◽

Verifying Compiler

Download Full-text