Generalized heterogeneous algebras and partial interpretations

CAAP'83 - Lecture Notes in Computer Science ◽

10.1007/3-540-12727-5_1 ◽

1983 ◽

pp. 1-34 ◽

Author(s):

Manfred Broy ◽

Martin Wirsing

Download Full-text