default search action

combined dblp search
author search
venue search
publication search

ask others

2. HOA 1995: Paderborn, Germany

> 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/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/1995
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers. Lecture Notes in Computer Science 1074, Springer 1996, ISBN 3-540-61254-8
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Klop95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Klop95
Jan Willem Klop:
Term Graph Rewriting. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/BakelF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/BakelF95
Steffen van Bakel, Maribel Fernández:
Approximation and Normalization Results for Typeable Term Rewriting Systems. 17-36
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/BartheG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/BartheG95
Gilles Barthe, Herman Geuvers:
Modular Properties of Algebraic Type Systems. 37-56
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/BethkeK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/BethkeK95
Inge Bethke, Jan Willem Klop:
Collapsing Partial Combinatory Algebras. 57-73
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Blom95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Blom95
Stefan Blom:
A Complete Proof System for Nested Term Graphs. 74-89
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/HintermeierKM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/HintermeierKM95
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses:
Rⁿ- and Gⁿ-Logics. 90-108
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Kahrs95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Kahrs95
Stefan Kahrs:
The Variable Containment Problem. 109-123
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Meinke95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Meinke95
Karl Meinke:
Higher-Order Equational Logic for Specification, Simulation and Testing. 124-143
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/MintchevL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/MintchevL95
Sava Mintchev, David R. Lester:
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. 144-162
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Moller95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Moller95
Bernhard Möller:
Assertions and Recursions. 163-184
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Oostrom95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Oostrom95
Vincent van Oostrom:
Development Closed Critical Pairs. 185-200
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Pol95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Pol95
Jaco van de Pol:
Two Different Strong Normalization Proofs? 201-220
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Springintveld95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Springintveld95
Jan Springintveld:
Third-Order Matching in the Polymorphic Lambda Calculus. 221-237
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Steggles95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Steggles95
L. J. Steggles:
Higher-Order Algebra with Transfinite Types. 238-263
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/WangM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/WangM95
Li-Guo Wang, Michael Mendler:
Abstraction of Hardware Construction. 264-287

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.