Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540582335, 9783540485797

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compilation of Combinatory Reduction Systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_9 ◽

1994 ◽

pp. 169-188 ◽

Cited By ~ 2

Author(s):

Stefan Kahrs

Download Full-text

Strong normalization of typeable rewrite systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_2 ◽

1994 ◽

pp. 20-39 ◽

Cited By ~ 3

Author(s):

Steffen Bakel ◽

Maribel Fernández

Keyword(s):

Strong Normalization ◽

Rewrite Systems

Download Full-text

Specification and verification in higher order algebra: A case study of convolution

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_10 ◽

1994 ◽

pp. 189-222 ◽

Cited By ~ 5

Author(s):

K. Meinke ◽

L. J. Steggles

Keyword(s):

Higher Order ◽

Specification And Verification

Download Full-text

Ordered and continuous models of higher-order specifications

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_11 ◽

1994 ◽

pp. 223-255 ◽

Cited By ~ 3

Author(s):

Bernhard Möller

Keyword(s):

Higher Order ◽

Continuous Models

Download Full-text

Origin tracking for higher-order term rewriting systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_5 ◽

1994 ◽

pp. 76-95 ◽

Cited By ~ 1

Author(s):

Arie Deursen ◽

T. B. Dinesh

Keyword(s):

Order Term ◽

Term Rewriting ◽

Higher Order ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Higher Order Term

Download Full-text

The semantics of SPECTRUM

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_7 ◽

1994 ◽

pp. 124-145 ◽

Cited By ~ 1

Author(s):

Radu Grosu ◽

Franz Regensburger

Download Full-text

Extensions of initial models and their second-order proof systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_15 ◽

1994 ◽

pp. 326-344 ◽

Cited By ~ 1

Author(s):

Pierre-Yves Schobbens

Keyword(s):

Second Order ◽

Proof Systems

Download Full-text

Termination proofs for higher-order rewrite systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_14 ◽

1994 ◽

pp. 305-325 ◽

Cited By ~ 10

Author(s):

Jaco Pol

Keyword(s):

Higher Order ◽

Rewrite Systems ◽

Termination Proofs

Download Full-text

Comparing combinatory reduction systems and higher-order rewrite systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_13 ◽

1994 ◽

pp. 276-304 ◽

Cited By ~ 9

Author(s):

Vincent Oostrom ◽

Femke Raamsdonk

Keyword(s):

Higher Order ◽

Rewrite Systems

Download Full-text

Interaction systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science ◽

10.1007/3-540-58233-9_1 ◽

1994 ◽

pp. 1-19 ◽

Cited By ~ 2

Author(s):

Andrea Asperti ◽

Cosimo Laneve

Download Full-text

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Compilation of Combinatory Reduction Systems

Strong normalization of typeable rewrite systems

Specification and verification in higher order algebra: A case study of convolution

Ordered and continuous models of higher-order specifications

Origin tracking for higher-order term rewriting systems

The semantics of SPECTRUM

Extensions of initial models and their second-order proof systems

Termination proofs for higher-order rewrite systems

Comparing combinatory reduction systems and higher-order rewrite systems

Interaction systems

Higher-Order Algebra, Logic, and Term Rewriting - Lecture Notes in Computer Science
Latest Publications