Simple termination revisited
Publication date
1993
Authors
Middeldorp, A.
Zantema, H.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
No license information available
Abstract
Keywords
Wiskunde en Informatica (WIIN), Ordered by external client
Citation
Middeldorp, A & Zantema, H 1993, Simple termination revisited. vol. 93-41, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-93-41.html >