상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선Improving AND/OR Parallel Execution Model of Logic Programs using Bottom-up Abstract Interpretation
- Publisher
- 한국정보과학회
- Issue Date
- 1994-05
- Language
- Korean
- Citation
정보과학회논문지, v.21, no.5, pp.792 - 800
- ISSN
- 0258-9125
- 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.