Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

59

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540422549, 9783540457442

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

lolliCoP — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_55 ◽

2001 ◽

pp. 670-684 ◽

Author(s):

Joshua S. ◽

Naoyuki Tamura

Keyword(s):

Classical Logic ◽

Linear Logic ◽

Theorem Prover ◽

First Order ◽

Connection Method

Download Full-text

Bunched Logic Programming

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_21 ◽

2001 ◽

pp. 289-304 ◽

Author(s):

Pablo A. Armelín ◽

David J. Pym

Keyword(s):

Logic Programming

Download Full-text

Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_42 ◽

2001 ◽

pp. 485-498 ◽

Author(s):

Xavier Urbain

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Termination Proofs

Download Full-text

More On Implicit Syntax

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_31 ◽

2001 ◽

pp. 386-400 ◽

Author(s):

Marko Luther

Download Full-text

Program Termination Analysis by Size-Change Graphs (Abstract)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_1 ◽

2001 ◽

pp. 1-4

Author(s):

Neil D. Jones

Keyword(s):

Size Change ◽

Termination Analysis ◽

Program Termination

Download Full-text

SET Cardholder Registration: The Secrecy Proofs

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_2 ◽

2001 ◽

pp. 5-12 ◽

Author(s):

Lawrence C. Paulson

Download Full-text

Vampire 1.1

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_29 ◽

2001 ◽

pp. 376-380 ◽

Author(s):

Alexandre Riazanov ◽

Andrei Voronkov

Download Full-text

STRIP: Structural Sharing for Efficient Proof-Search

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_58 ◽

2001 ◽

pp. 696-700 ◽

Author(s):

D. Larchey-Wendling ◽

D. Méry ◽

Didier Galmiche

Keyword(s):

Download Full-text

The Hybrid μ-Calculus

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_7 ◽

2001 ◽

pp. 76-91 ◽

Author(s):

Ulrike Sattler ◽

Moshe Y. Vardi

Download Full-text

JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_34 ◽

2001 ◽

pp. 421-426 ◽

Author(s):

Stephan Schmitt ◽

Lori Lorigo ◽

Christoph Kreitz ◽

Aleksey Nogin

Keyword(s):

Theorem Proving ◽

Proof Assistants ◽

Interactive Proof

Download Full-text