Termination of term rewriting by semantic labelling

DSpace/Manakin Repository

Zantema, H.

(1993) Utrecht University Repository

(Report)

Download/Full Text

Unknown

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

ISBN: 0924-3275

Publisher: Unknown Publisher

See more statistics about this item