Pattern-matching algorithms based on term rewrite systems. (English)
Theor. Comput. Sci. 238, No.1-2, 439-464 (2000).
1
Adventures in sequent calculus modulo equations. (English)
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No.24 (1998).
2
Answer synthesis for CLP programs with negation. (English)
Log. J. IGPL 5, No.3, 339-373 (1997).
3
Code generation based on formal BURS theory and heuristic search. (English)
Acta Inf. 34, No.8, 597-635 (1997).
4
Canonical equational proofs. (English)
Progress in Theoretical Computer Science. Boston etc.: Birkhäuser. X, 135 p. SFr 68.00 (1991).
5
Conditional rewrite rules: Confluence and termination. (English)
J. Comput. Syst. Sci. 32, 323-362 (1986).
6
Start
Contact
Print
General Help
