The Lübeck Transformation System: a transformation system for equational higher order algebraic specifications

• Autores: S. Magnussen, W. Dosch
• Localización: Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 85-108
• Idioma: inglés
• Texto completo no disponible (Saber más ...)