10th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540528852, 9783540471714

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Presenting intuitive deductions via symmetric simplification

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_98 ◽

1990 ◽

pp. 336-350 ◽

Cited By ~ 7

Author(s):

Frank Pfenning ◽

Dan Nesmith

Download Full-text

Unification in a combination of equational theories: an efficient algorithm

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_95 ◽

1990 ◽

pp. 292-307 ◽

Cited By ~ 8

Author(s):

Alexandre Boudet

Keyword(s):

Efficient Algorithm ◽

Equational Theories

Download Full-text

A mechanically assisted constructive proof in category theory

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_110 ◽

1990 ◽

pp. 500-513 ◽

Cited By ~ 2

Author(s):

James A. Altucher ◽

Prakash Panangaden

Keyword(s):

Category Theory ◽

Constructive Proof

Download Full-text

SLIM: An automated reasoner for equivalences, applied to set theory

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_96 ◽

1990 ◽

pp. 308-321 ◽

Cited By ~ 1

Author(s):

Alan F. McMichael

Keyword(s):

Set Theory

Download Full-text

Str+ve $$\subseteq$$ : The Str+ve-based subset prover

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_88 ◽

1990 ◽

pp. 193-206 ◽

Cited By ~ 8

Author(s):

Larry Hines

Download Full-text

Tutorial on program-synthetic deduction

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_147 ◽

1990 ◽

pp. 684-684

Author(s):

Richard Waldinger

Download Full-text

Tutorial on rewrite-based theorem proving

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_146 ◽

1990 ◽

pp. 684-684

Author(s):

Jieh Hsiang ◽

Jean-Pierre Jouannaud

Keyword(s):

Theorem Proving

Download Full-text

Tutorial on high-performance theorem provers: Efficient implementation and parallelisation

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_145 ◽

1990 ◽

pp. 683-683 ◽

Cited By ~ 1

Author(s):

J. Schumann ◽

R. Letz ◽

F. Kurfess

Keyword(s):

High Performance ◽

Efficient Implementation ◽

Theorem Provers

Download Full-text

Tutorial on compilation techniques for logics

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_144 ◽

1990 ◽

pp. 683-683

Author(s):

Hans Jürgen Ohlbach ◽

Andreas Herzig

Keyword(s):

Compilation Techniques

Download Full-text

Tutorial on λProlog

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_142 ◽

1990 ◽

pp. 682-682

Author(s):

Amy Felty ◽

Elsa Gunter ◽

Dale MIller ◽

Frank Pfenning

Download Full-text

10th International Conference on Automated Deduction - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Presenting intuitive deductions via symmetric simplification

Unification in a combination of equational theories: an efficient algorithm

A mechanically assisted constructive proof in category theory

SLIM: An automated reasoner for equivalences, applied to set theory

Str+ve $$\subseteq$$ : The Str+ve-based subset prover

Tutorial on program-synthetic deduction

Tutorial on rewrite-based theorem proving

Tutorial on high-performance theorem provers: Efficient implementation and parallelisation

Tutorial on compilation techniques for logics

Tutorial on λProlog

10th International Conference on Automated Deduction - Lecture Notes in Computer Science
Latest Publications