The SCEAS System
Navigation Menu

Conferences in DBLP

Higher-Order Algebra, Logic and Term Rewriting (HOA) (hoa)
1993 (conf/hoa/1993)

  1. Andrea Asperti, Cosimo Laneve
    Interaction Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:1-19 [Conf]
  2. Steffen van Bakel, Maribel Fernández
    Strong Normalization of Typeable Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:20-39 [Conf]
  3. Françoise Bellegarde
    A Transformation System Combining Partial Evaluation with Term Rewriting. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:40-55 [Conf]
  4. Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
    Prototyping Relational Specifications Using Higher-Order Objects. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:56-75 [Conf]
  5. Arie van Deursen, T. B. Dinesh
    Origin Tracking for Higher-Order Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:76-95 [Conf]
  6. William M. Farmer
    Theory Interpretation in Simple Type Theory. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:96-123 [Conf]
  7. Radu Grosu, Franz Regensburger
    The Semantics of SPECTRUM. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:124-145 [Conf]
  8. B. M. Hearn, Karl Meinke
    ATLAS: A Typed Language for Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:146-168 [Conf]
  9. Stefan Kahrs
    Compilation of Combinatory Reduction Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:169-188 [Conf]
  10. Karl Meinke, L. J. Steggles
    Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:189-222 [Conf]
  11. Bernhard Möller
    Ordered and Continuous Models of Higher-Order Specifications. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:223-255 [Conf]
  12. Monica Nesi, Valeria de Paiva, Eike Ritter
    Rewriting Properties of Combinators for Rudimentary Linear Logic. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:256-275 [Conf]
  13. Vincent van Oostrom, Femke van Raamsdonk
    Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:276-304 [Conf]
  14. Jaco van de Pol
    Termination Proofs for Higher-order Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:305-325 [Conf]
  15. Pierre-Yves Schobbens
    Extensions of Initial Models and their Second-Order Proof Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:326-344 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002