Uniform algebraic specifications of finite sorts with equality

DSpace/Manakin Repository

Bergstra, J.A.; Mauw, S.; Wiedijk, F.

(1991) International Journal of Foundations of Computer Science, volume 2, issue 1, pp. 43 - 65

(Article)

Download/Full Text

ISSN: 0129-0541

Publisher: Singapore : World Scientific Publishing Company

See more statistics about this item