Claus Hintermeier

According to our database, Claus Hintermeier authored at least 7 papers between 1994 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Déduction avec sortes ordonnées et égalités.

Claus Hintermeier

PhD thesis, 1995

Redundancy and Saturation.

Claus Hintermeier

Proceedings of the 9th International Workshop on Unification, 1995

Rⁿ- and Gⁿ-Logics.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Higher-Order Algebra, 1995

Combining Algebraic and Set-Theoretic Specifications.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Dynamically-Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs.

Claus Hintermeier

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

Sort Inheritance for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994