| 1998 |
|---|
| 6 | | Claus Hintermeier,
Claude Kirchner,
Hélène Kirchner:
Dynamically Typed Computations for Order-Sorted Equational Presentations.
J. Symb. Comput. 25(4): 455-526 (1998) |
| 1995 |
|---|
| 5 | | Claus Hintermeier,
Hélène Kirchner,
Peter D. Mosses:
Combining Algebraic and Set-Theoretic Specifications.
COMPASS/ADT 1995: 255-273 |
| 4 | | Claus Hintermeier,
Hélène Kirchner,
Peter D. Mosses:
Rn- and Gn-Logics.
HOA 1995: 90-108 |
| 1994 |
|---|
| 3 | | Claus Hintermeier,
Claude Kirchner,
Hélène Kirchner:
Sort Inheritance for Order-Sorted Equational Presentations.
COMPASS/ADT 1994: 319-335 |
| 2 | | Claus Hintermeier:
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs.
CTRS 1994: 186-205 |
| 1 | | Claus Hintermeier,
Claude Kirchner,
Hélène Kirchner:
Dynamically-Typed Computations for Order-Sorted Equational Presentations.
ICALP 1994: 450-461 |
