Lübeck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications.
Title | Lübeck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications. |
Publication Type | Journal Article |
Year of Publication | 2002 |
Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {650, title = {L{\"u}beck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications.}, year = {2002}, note = {In: M Cerioli, G. Reggio (eds.): Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting. Genova, Italy, April 1-3, 2001. Lecture Notes in Computer Science 2267. Berlin: Springer 2002, 85-108 [ISBN 3-540-43159-4]}, author = {W. Dosch and Magnussen, S.} }