Algebraic tools for system construction

DSpace/Manakin Repository

Bergstra, J.A.; Klop, J.W.; Tucker, J.V.

(1984) Lecture Notes in Computer Science, volume 164, pp. 34 - 44

(Article in proceedings)

Download/Full Text

Publisher: Springer International

See more statistics about this item