상세 보기
Efficient Bottom-up Execution of Logic Programs using Abstract Interpretation
- 창병모;
- 최광무;
- 한태숙
Citations
WEB OF SCIENCE
0Citations
SCOPUS
1- 제목
- Efficient Bottom-up Execution of Logic Programs using Abstract Interpretation
- 저자
- 창병모; 최광무; 한태숙
- 발행일
- 1993-09
- 권
- 47
- 호
- 3
- 페이지
- 149 ~ 157