Dynamically typed computations for order-sorted equational presentations

Authors:
Claus Hintermeier;Claude Kirchner;Hélène Kirchner
Affiliations:
-;-;-
Venue:
Journal of Symbolic Computation - Special issue: order-sorted rewriting
Year:
1998

Citing 0
Cited 3

Constraint solving on terms

Constraints in computational logics
Annotated reasoning

Annals of Mathematics and Artificial Intelligence
A Total Approach to Partial Algebraic Specification

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract