Author:
Christiansen Henning,Kirkeby Maja H.
Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;S Abdennadher,1997
2. Lecture Notes in Computer Science;S Abdennadher,1996
3. Abdennadher, S., Frühwirth, T.W., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints 4(2), 133–165 (1999)
4. Baader, F., Nipkow, T.: Term rewriting and all that. Cambridge University Press, Cambridge (1999)
5. Christiansen, H.: Automated reasoning with a constraint-based metainterpreter. J. Logic Program. 37(1–3), 213–254 (1998)