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