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

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662228, 9783540486602

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complexity of the Higher Order Matching

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

10.1007/3-540-48660-7_6 ◽

1999 ◽

pp. 82-96 ◽

Author(s):

ToMasz Wierzbicki

Keyword(s):

Download Full-text

Automatic Generation of Proof Search Strategies for Second-Order Logic

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

10.1007/3-540-48660-7_40 ◽

1999 ◽

pp. 414-428

Author(s):

Raul H. C. Lopes

Keyword(s):

Automatic Generation ◽

Search Strategies ◽

Second Order ◽

Order Logic ◽

Proof Search ◽

Second Order Logic

Download Full-text

Extensional Higher-Order Paramodulation and RUE-Resolution

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

10.1007/3-540-48660-7_39 ◽

1999 ◽

pp. 399-413 ◽

Author(s):

Christoph Benzmüller

Keyword(s):

Download Full-text

System Description: Kimba, A Model Generator for Many-Valued First-Order Logics

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

10.1007/3-540-48660-7_24 ◽

1999 ◽

pp. 282-286 ◽

Author(s):

Karsten Konrad ◽

D. A. Wolfram

Keyword(s):

System Description ◽

First Order ◽

Model Generator

Download Full-text

System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving

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

10.1007/3-540-48660-7_17 ◽

1999 ◽

pp. 217-221 ◽

Author(s):

Andreas Franke ◽

Michael Kohlhase

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

System Description ◽

Agent Based ◽

Communication Layer

Download Full-text

A PSpace Algorithm for Graded Modal Logic

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

10.1007/3-540-48660-7_4 ◽

1999 ◽

pp. 52-66 ◽

Author(s):

Stephan Tobies

Keyword(s):

Download Full-text

A Breadth-First Strategy for Mating Search

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

10.1007/3-540-48660-7_32 ◽

1999 ◽

pp. 359-373 ◽

Author(s):

Matthew Bishop

Download Full-text

System Description: Twelf — A Meta-Logical Framework for Deductive Systems

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

10.1007/3-540-48660-7_14 ◽

1999 ◽

pp. 202-206 ◽

Author(s):

Frank Pfenning ◽

Carsten Schürmann

Keyword(s):

Logical Framework ◽

System Description ◽

Deductive Systems

Download Full-text

System Description: Spass Version 1.0.0

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

10.1007/3-540-48660-7_34 ◽

1999 ◽

pp. 378-382 ◽

Author(s):

Christoph Weidenbach ◽

Bijan Afshordel ◽

Uwe Brahm ◽

Christian Cohrs ◽

Thorsten Engel ◽

...

Keyword(s):

System Description

Download Full-text

A Confluent Connection Calculus

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

10.1007/3-540-48660-7_30 ◽

1999 ◽

pp. 329-343 ◽

Author(s):

Peter Baumgartner ◽

Norbert Eisinger ◽

Ulrich Furbach

Download Full-text