More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

1. HOA 1993: Amsterdam, The Netherlands

> Home > Conferences and Workshops > HOA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/hoa/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/1993
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow:
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Lecture Notes in Computer Science 816, Springer 1994, ISBN 3-540-58233-9
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/AspertiL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/AspertiL93
Andrea Asperti, Cosimo Laneve:
Interaction Systems. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/BakelF93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/BakelF93
Steffen van Bakel, Maribel Fernández:
Strong Normalization of Typeable Rewrite Systems. 20-39
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Bellegarde93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Bellegarde93
Françoise Bellegarde:
A Transformation System Combining Partial Evaluation with Term Rewriting. 40-55
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/BerghammerGS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/BerghammerGS93
Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt:
Prototyping Relational Specifications Using Higher-Order Objects. 56-75
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/DeursenD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/DeursenD93
Arie van Deursen, T. B. Dinesh:
Origin Tracking for Higher-Order Term Rewriting Systems. 76-95
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Farmer93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Farmer93
William M. Farmer:
Theory Interpretation in Simple Type Theory. 96-123
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/GrosuR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/GrosuR93
Radu Grosu, Franz Regensburger:
The Semantics of SPECTRUM. 124-145
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/HearnM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/HearnM93
B. M. Hearn, Karl Meinke:
ATLAS: A Typed Language for Algebraic Specification. 146-168
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Kahrs93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Kahrs93
Stefan Kahrs:
Compilation of Combinatory Reduction Systems. 169-188
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/MeinkeS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/MeinkeS93
Karl Meinke, L. J. Steggles:
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution. 189-222
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Moller93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Moller93
Bernhard Möller:
Ordered and Continuous Models of Higher-Order Specifications. 223-255
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/NesiPR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/NesiPR93
Monica Nesi, Valeria de Paiva, Eike Ritter:
Rewriting Properties of Combinators for Rudimentary Linear Logic. 256-275
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/OostromR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/OostromR93
Vincent van Oostrom, Femke van Raamsdonk:
Comparing Combinatory Reduction Systems and Higher-order Rewrite Systems. 276-304
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Pol93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Pol93
Jaco van de Pol:
Termination Proofs for Higher-order Rewrite Systems. 305-325
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Schobbens93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Schobbens93
Pierre-Yves Schobbens:
Extensions of Initial Models and their Second-Order Proof Systems. 326-344

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.