
Conferences in DBLP
 Andrea Asperti, Cosimo Laneve
Interaction Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:119 [Conf]
 Steffen van Bakel, Maribel Fernández
Strong Normalization of Typeable Rewrite Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:2039 [Conf]
 Françoise Bellegarde
A Transformation System Combining Partial Evaluation with Term Rewriting. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:4055 [Conf]
 Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
Prototyping Relational Specifications Using HigherOrder Objects. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:5675 [Conf]
 Arie van Deursen, T. B. Dinesh
Origin Tracking for HigherOrder Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:7695 [Conf]
 William M. Farmer
Theory Interpretation in Simple Type Theory. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:96123 [Conf]
 Radu Grosu, Franz Regensburger
The Semantics of SPECTRUM. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:124145 [Conf]
 B. M. Hearn, Karl Meinke
ATLAS: A Typed Language for Algebraic Specification. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:146168 [Conf]
 Stefan Kahrs
Compilation of Combinatory Reduction Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:169188 [Conf]
 Karl Meinke, L. J. Steggles
Specification and Verification in HigherOrder Algebra: A Case Study of Convolution. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:189222 [Conf]
 Bernhard Möller
Ordered and Continuous Models of HigherOrder Specifications. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:223255 [Conf]
 Monica Nesi, Valeria de Paiva, Eike Ritter
Rewriting Properties of Combinators for Rudimentary Linear Logic. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:256275 [Conf]
 Vincent van Oostrom, Femke van Raamsdonk
Comparing Combinatory Reduction Systems and Higherorder Rewrite Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:276304 [Conf]
 Jaco van de Pol
Termination Proofs for Higherorder Rewrite Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:305325 [Conf]
 PierreYves Schobbens
Extensions of Initial Models and their SecondOrder Proof Systems. [Citation Graph (0, 0)][DBLP] HOA, 1993, pp:326344 [Conf]
