Applied Logic Series - Thirty Five Years of Automating Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9789048164400, 9789401702539

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Termination in ACL2 Using Multiset Relations

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_9 ◽

2003 ◽

pp. 217-245 ◽

Cited By ~ 2

Author(s):

J. L. Ruiz-Reina ◽

J. A. Alonso ◽

M. J. Hidalgo ◽

F. J. Martín-Mateos

Download Full-text

Hoare Logic with Explicit Contexts

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_6 ◽

2003 ◽

pp. 125-148

Author(s):

Michael Franssen

Keyword(s):

Hoare Logic

Download Full-text

Linear Contexts, Sharing Functors: Techniques for Symbolic Computation

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_4 ◽

2003 ◽

pp. 49-69 ◽

Cited By ~ 2

Author(s):

Gérard Huet

Keyword(s):

Symbolic Computation

Download Full-text

Recent Results in Type Theory and Their Relationship to Automath

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_3 ◽

2003 ◽

pp. 37-48

Author(s):

Robert L. Constable

Keyword(s):

Type Theory

Download Full-text

Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_11 ◽

2003 ◽

pp. 271-314 ◽

Cited By ~ 6

Author(s):

Jörg Siekmann ◽

Christoph Benzmüller ◽

Armin Fiedler ◽

Andreas Meier ◽

Immanuel Normann ◽

...

Download Full-text

A Mathematical Model for Biological Memory and Consciousness

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_1 ◽

2003 ◽

pp. 9-23

Author(s):

N. G. De Bruijn

Keyword(s):

Mathematical Model ◽

Biological Memory

Download Full-text

Polymorphic Type-Checking for the Ramified Theory of Types of Principia Mathematica

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_8 ◽

2003 ◽

pp. 173-215

Author(s):

M. Randall Holmes

Keyword(s):

Type Checking ◽

Polymorphic Type

Download Full-text

De Bruijn’s Automath and Pure Type Systems

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_5 ◽

2003 ◽

pp. 71-123

Author(s):

Fairouz Kamareddine ◽

Twan Laan ◽

Rob Nederpelt

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Transitive Closure and the Mechanization of Mathematics

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_7 ◽

2003 ◽

pp. 149-171 ◽

Cited By ~ 20

Author(s):

Arnon Avron

Keyword(s):

Transitive Closure

Download Full-text

Towards an Interactive Mathematical Proof Mode

Applied Logic Series - Thirty Five Years of Automating Mathematics ◽

10.1007/978-94-017-0253-9_2 ◽

2003 ◽

pp. 25-36 ◽

Cited By ~ 8

Author(s):

Henk Barendregt

Keyword(s):

Mathematical Proof

Download Full-text

Applied Logic Series - Thirty Five Years of Automating MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Termination in ACL2 Using Multiset Relations

Hoare Logic with Explicit Contexts

Linear Contexts, Sharing Functors: Techniques for Symbolic Computation

Recent Results in Type Theory and Their Relationship to Automath

Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$

A Mathematical Model for Biological Memory and Consciousness

Polymorphic Type-Checking for the Ramified Theory of Types of Principia Mathematica

De Bruijn’s Automath and Pure Type Systems

Transitive Closure and the Mechanization of Mathematics

Towards an Interactive Mathematical Proof Mode

Applied Logic Series - Thirty Five Years of Automating Mathematics
Latest Publications