Bernhard Gramlich. Modular aspects of rewrite-based specifications. In Francesco Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th Int. Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers, LNCS 1376, pages 253--268. Springer-Verlag, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Unknown - Wst' Th International (2004) (Correct)
No context found.
Bernhard Gramlich. Modular aspects of rewrite-based specifications. In Francesco Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th Int. Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers, LNCS 1376, pages 253--268. Springer-Verlag, 1998.
WST'04 7th International Workshop on Termination - Codish, Middeldorp (2004) (Correct)
No context found.
Bernhard Gramlich. Modular aspects of rewrite-based specifications. In Francesco Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, 12th Int. Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers, LNCS 1376, pages 253--268. Springer-Verlag, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC