3 options
The decidability problem for rigid E-unification : a new proof and extensions / Jin-Young Choi.
LIBRA Diss. POPM1993.171
Available from offsite location
LIBRA QA003 1993 .C545
Available from offsite location
- Format:
- Book
- Manuscript
- Microformat
- Thesis/Dissertation
- Author/Creator:
- Choi, Jin-young, Ph.D.
- Language:
- English
- Subjects (All):
- Penn dissertations--Computer and information science.
- Computer and information science--Penn dissertations.
- Local Subjects:
- Penn dissertations--Computer and information science.
- Computer and information science--Penn dissertations.
- Physical Description:
- ix, 161 leaves ; 29 cm
- Place of Publication:
- 1993.
- Notes:
- Thesis (Ph.D. in Computer and Information Science) -- Graduate School of Arts and Sciences, University of Pennsylvania, 1993.
- Includes bibliography.
- Local Notes:
- University Microfilms order no.: 93-31766.
- OCLC:
- 80643682
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.