Small specifications for large finite data structures

DSpace/Manakin Repository

Bergstra, J.A.; Meyer, J-J.Ch.

(1981) International journal of computer mathematics, volume 9, issue 4, pp. 305 - 320

(Article)

Download/Full Text

ISSN: 0020-7160

Publisher: Taylor & Francis

See more statistics about this item