Claus Hintermeier

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Dynamically Typed Computations for Order-Sorted Equational Presentations. J. Symb. Comput. 25 (4) (1998)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
-Logics. HOA (1995)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT (1995)
Claus Hintermeier
Redundancy and Saturation. UNIF (1995)
Claus Hintermeier
How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs. CTRS (1994)
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Sort Inheritance for Order-Sorted Equational Presentations. COMPASS/ADT (1994)
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Dynamically-Typed Computations for Order-Sorted Equational Presentations. ICALP (1994)