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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540556022, 9783540472520

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MGTP: A parallel theorem prover based on lazy model generation

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

10.1007/3-540-55602-8_223 ◽

1992 ◽

pp. 776-780 ◽

Cited By ~ 4

Author(s):

Ryuzo Hasegawa ◽

Miyuki Koshimura ◽

Hiroshi Fujita

Keyword(s):

Theorem Prover ◽

Model Generation

A natural deduction automated theorem proving system

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

10.1007/3-540-55602-8_200 ◽

1992 ◽

pp. 668-672 ◽

Cited By ~ 2

Author(s):

Li Dafa

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Natural Deduction

Proof search in the intuitionistic sequent calculus

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

10.1007/3-540-55602-8_189 ◽

1992 ◽

pp. 522-536 ◽

Cited By ~ 22

Author(s):

N. Shankar

Keyword(s):

Sequent Calculus ◽

Proof Search

Unification in order-sorted algebras with overloading

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

10.1007/3-540-55602-8_165 ◽

1992 ◽

pp. 193-207 ◽

Cited By ~ 1

Author(s):

Alexandre Boudet

Xpnet: A graphical interface to proof nets with an efficient proof checker

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

10.1007/3-540-55602-8_209 ◽

1992 ◽

pp. 711-715

Author(s):

Jawahar Chirimar ◽

Carl A. Gunter ◽

Myra VanInwegen

Keyword(s):

Graphical Interface ◽

Proof Checker ◽

Proof Nets

Herky: High performance rewriting in RRL

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

10.1007/3-540-55602-8_206 ◽

1992 ◽

pp. 696-700 ◽

Cited By ~ 3

Author(s):

Hantao Zhang

Keyword(s):

High Performance

The central variable strategy of str∔ve

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

10.1007/3-540-55602-8_154 ◽

1992 ◽

pp. 35-49 ◽

Cited By ~ 2

Author(s):

L. M. Hines

Proving geometry statements of constructive type

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

10.1007/3-540-55602-8_153 ◽

1992 ◽

pp. 20-34 ◽

Cited By ~ 7

Author(s):

Shang -Ching Chou ◽

Xiao -Shan Gao

Keyword(s):

Constructive Type

Experiments in automated deduction with condensed detachment

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

10.1007/3-540-55602-8_167 ◽

1992 ◽

pp. 209-223 ◽

Cited By ~ 15

Author(s):

William McCune ◽

Larry Wos

Keyword(s):

Automated Deduction ◽

Condensed Detachment

Proving the Chinese remainder theorem by the cover set induction

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

10.1007/3-540-55602-8_182 ◽

1992 ◽

pp. 431-445 ◽

Cited By ~ 2

Author(s):

Hantao Zhang ◽

Xin Hua

Keyword(s):

Chinese Remainder Theorem

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

MGTP: A parallel theorem prover based on lazy model generation

A natural deduction automated theorem proving system

Proof search in the intuitionistic sequent calculus

Unification in order-sorted algebras with overloading

Xpnet: A graphical interface to proof nets with an efficient proof checker

Herky: High performance rewriting in RRL

The central variable strategy of str∔ve

Proving geometry statements of constructive type

Experiments in automated deduction with condensed detachment

Proving the Chinese remainder theorem by the cover set induction

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