Name Venue Year citations
An Algebraic View of Local Formalisms. ADT 1988 1
Correctness of Type Transformations. ADT 1983 5
On the Algebraic Specification of Programming Languages. ADT 1982 1
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ