Browse "CS-Journal Papers(저널논문)" by Author Taisook Han

Showing results 1 to 1 of 1

1
Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

Byeong-Mo Chang; Choe, Kwang-Moo; Taisook Han; Roberto Giacobacci, ETRI JOURNAL, v.16, no.4, pp.27 - 47, 1995-01

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0