Kyonghee Moon

According to our database, Kyonghee Moon authored at least 3 papers between 1995 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Subset Logic Programs and Their Implementation.

Bharat Jayaraman, Kyonghee Moon

J. Log. Program., 2000

1995

Partial Order Programming <i>(Revisited)</i>.

Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon

Proceedings of the Algebraic Methodology and Software Technology, 1995

The SuRE Programming Framework.

Bharat Jayaraman, Kyonghee Moon

Proceedings of the Algebraic Methodology and Software Technology, 1995