Transforming termination by self-labelling
Publication date
1996
Authors
Middeldorp, A.
Zantema, H.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Ordered by external client
Citation
Middeldorp, A & Zantema, H 1996, Transforming termination by self-labelling. vol. 1996-15, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht, the Netherlands. < http://www.cs.uu.nl/research/techreps/UU-CS-1996-15.html >