| |
| 1997 | ||
|---|---|---|
| 2 | EE | Eiji Takimoto, Akira Miyashiro, Akira Maruoka, Yoshifumi Sakai: Learning Orthogonal F-Horn Formulas. Theor. Comput. Sci. 185(1): 177-190 (1997) |
| 1995 | ||
| 1 | Akira Miyashiro, Eiji Takimoto, Yoshifumi Sakai, Akira Maruoka: Learning Orthogonal F-Horn Formulas. ALT 1995: 110-122 | |
| 1 | Akira Maruoka | [1] [2] |
| 2 | Yoshifumi Sakai | [1] [2] |
| 3 | Eiji Takimoto | [1] [2] |