Dummy elimination: making termination easier

DSpace/Manakin Repository

Ferreira, M.C.F.; Zantema, H.

(1994) Utrecht University Repository

(Report)

Download/Full Text

other

Keywords: Wiskunde en Informatica (WIIN), Ordered by external client

ISBN: 0924-3275

Publisher: Unknown Publisher

See more statistics about this item