Mino Bai

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

Hee-Jun Yoo, Jin-Young Choi, Mino Bai
Formal Specification of Business Rules using Z. CCCT (1) (2004)
Hee-Jun Yoo, Mino Bai, Jin-Young Choi
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. (12) (2004)
Mino Bai, Howard A. Blair
General Model Theoretic Semantics for Higher-Order Horn Logic Programming. LPAR (1992)