Recursively defined (quasi) orders on terms
Publication date
1997
Authors
Ferreira, M.C.F.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Ordered by external client
Citation
Ferreira, M C F 1997, Recursively defined (quasi) orders on terms. vol. 1997-13, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht, the Netherlands. < http://www.cs.uu.nl/research/techreps/UU-CS-1997-13.html >