An Efficient Evaluation of Proof-theoretic meaning for Normalized Recursive Rules using Shared-nothing Parallel Architecture (비공유 병렬구조를 이용한 정규화된 재귀규칙에 대한 증명-이론적 의미의 효율적 계산)
-
- The Transactions of the Korea Information Processing Society
- /
- v.6 no.11
- /
- pp.2981-2988
- /
- 1999