논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조집합: 직관적 접근A Reference Set for the Correctness Proof of Resetting Algorithms in Parallel Execution of Logic Programs: An Intuitive Approach
- Publisher
- 한국정보과학회
- Issue Date
- 1996-03
- Language
- Korean
- Citation
정보과학회논문지(B), v.23, no.3, pp.233 - 244
- ISSN
- 1738-5385
- Appears in Collection
- CS-Journal Papers(저널논문)
- 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.