Browse "School of Computing(전산학부)" 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

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0