Church-Rosser and related Thue systems

Authors
Narendran, Paliath
ORCID
Thumbnail Image
Files
175306_thesis.pdf (1.47 MB)
175307_tp_and_abs.pdf (42.13 KB)
Other Contributors
McNaughton, Robert
Chung, M.-J.
Krishnamoorthy, M. S.
Musser, David R.
Saunders, B. David
Issue Date
1984-05
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
URI
https://hdl.handle.net/20.500.13015/1412
Abstract
Description
May 1984
School of Science
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.
Collections
RPI Theses Online (Complete)