search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

HOA

Keyphrases

Publications

volume 1074, 1996

Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers HOA 1074 (1996)

1995

volume 816, 1994

Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers HOA 816 (1994)

1993

Stefan Kahrs
Compilation of Combinatory Reduction Systems. HOA (1993)
Pierre-Yves Schobbens
Extensions of Initial Models and their Second-Order Proof Systems. HOA (1993)
Karl Meinke, L. J. Steggles
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. HOA (1993)
Andrea Asperti, Cosimo Laneve
Interaction Systems. HOA (1993)
Radu Grosu, Franz Regensburger
The Semantics of SPECTRUM. HOA (1993)
Arie van Deursen, T. B. Dinesh
Origin Tracking for Higher-Order Term Rewriting Systems. HOA (1993)
Jaco van de Pol
Termination Proofs for Higher-order Rewrite Systems. HOA (1993)
Bernhard Möller
Ordered and Continuous Models of Higher-Order Specifications. HOA (1993)
Monica Nesi, Valeria de Paiva, Eike Ritter
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA (1993)
Françoise Bellegarde
A Transformation System Combining Partial Evaluation with Term Rewriting. HOA (1993)
Steffen van Bakel, Maribel Fernández
Strong Normalization of Typeable Rewrite Systems. HOA (1993)
William M. Farmer
Theory Interpretation in Simple Type Theory. HOA (1993)
Vincent van Oostrom, Femke van Raamsdonk
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. HOA (1993)
Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
Prototyping Relational Specifications Using Higher-Order Objects. HOA (1993)
B. M. Hearn, Karl Meinke
ATLAS: A Typed Language for Algebraic Specification. HOA (1993)