Sign in
Kyonghee Moon
Publication Activity (10 Years)
Years Active: 1995-2000
Publications (10 Years): 0
</>
Publications
</>
Bharat Jayaraman
,
Kyonghee Moon
Subset Logic Programs and Their Implementation.
J. Log. Program.
42 (2) (2000)
Bharat Jayaraman
,
Mauricio Osorio
,
Kyonghee Moon
.
AMAST
(1995)
Bharat Jayaraman
,
Kyonghee Moon
The SuRE Programming Framework.
AMAST
(1995)