You are here

Home › Research › Publications ›

Lübeck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications.

TitleLübeck Transformation System: A Transformation System for Equational Higher-Order Algebraic Specifications.
Publication TypeJournal Article
Year of Publication2002
AuthorsDosch, 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.}
}