| 1993 |
|---|
| 9 | EE | Kô Sakai,
Leif H. Finkel:
A Network Mechanism for the Determination of Shape-from-Texture.
NIPS 1993: 953-960 |
| 1991 |
|---|
| 8 | | Satoshi Menju,
Kô Sakai,
Yosuke Sato,
Akira Aiba:
A Study on Boolean Constraint Solvers.
WCLP 1991: 253-267 |
| 1990 |
|---|
| 7 | | Akihiko Ohsuga,
Kô Sakai:
Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure.
IWWERT 1990: 197-209 |
| 1989 |
|---|
| 6 | | Kô Sakai,
Akira Aiba:
CAL: A Theoretical Background of Constraint Logic Programming and its Applications.
J. Symb. Comput. 8(6): 589-603 (1989) |
| 1988 |
|---|
| 5 | | Akira Aiba,
Kô Sakai,
Yosuke Sato,
David J. Hawley,
Ryuzo Hasegawa:
Constraints Logic Programming Language CAL.
FGCS 1988: 263-276 |
| 1987 |
|---|
| 4 | | Jieh Hsiang,
Michaël Rusinowitch,
Kô Sakai:
Complete Inference Rules for the Cancellation Laws.
IJCAI 1987: 990-992 |
| 1984 |
|---|
| 3 | | Shigeyuki Takagi,
Toshio Yokoi,
Shunichi Uchida,
Toshiaki Kurokawa,
Takashi Hattori,
Takashi Chikayama,
Kô Sakai,
Junichiro Tsuji:
Overall design of SIMPOS.
ICLP 1984: 1-12 |
| 2 | | Kô Sakai,
Taizo Miyachi:
Incorporating Naïve Negation into Prolog.
RIMS Symposia on Software Science and Engineering 1984: 130-143 |
| 1980 |
|---|
| 1 | | Masato Morisaki,
Kô Sakai:
A Complete Axiom System for Rational Sets with Multiplicity.
Theor. Comput. Sci. 11: 79-92 (1980) |
