Total termination of term rewriting is undecidable

DSpace/Manakin Repository

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