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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540662228, 9783540486602

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System Description: CutRes 0.1: Cut Elimination by Resolution

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

10.1007/3-540-48660-7_16 ◽

1999 ◽

pp. 212-216 ◽

Cited By ~ 3

Author(s):

Matthias Baaz ◽

Alexander Leitsch ◽

Georg Moser

Keyword(s):

Cut Elimination ◽

System Description

Download Full-text

Decision Procedures for Guarded Logics

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

10.1007/3-540-48660-7_3 ◽

1999 ◽

pp. 31-51 ◽

Cited By ~ 16

Author(s):

Erich Grädel

Keyword(s):

Decision Procedures

Download Full-text

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 ◽

Cited By ~ 8

Author(s):

ToMasz Wierzbicki

Keyword(s):

Higher Order

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 ◽

Cited By ~ 9

Author(s):

Christoph Benzmüller

Keyword(s):

Higher Order

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 20

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 ◽

Cited By ~ 6

Author(s):

Stephan Tobies

Keyword(s):

Modal Logic

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 205

Author(s):

Frank Pfenning ◽

Carsten Schürmann

Keyword(s):

Logical Framework ◽

System Description ◽

Deductive Systems

Download Full-text

Automated Deduction — CADE-16 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

System Description: CutRes 0.1: Cut Elimination by Resolution

Decision Procedures for Guarded Logics

Complexity of the Higher Order Matching

Automatic Generation of Proof Search Strategies for Second-Order Logic

Extensional Higher-Order Paramodulation and RUE-Resolution

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

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

A PSpace Algorithm for Graded Modal Logic

A Breadth-First Strategy for Mating Search

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

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