지연대치 규칙과 배타적 베타규칙 적용 규칙을 이용한 그래프 축약A graph reduction scheme with delayed substitution rule and exclusive beta reduction rule
- Advisors
- 한태숙researcher; Han, Tai-Sookresearcher
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1993
- Identifier
- 68756/325007 / 000911287
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1993.2, [ [iii], 52 p. ]
- Keywords
그래프 축약.
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.