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.}
}