- CSB - MetaPress - Google - Bing - Yahoo
 | 1992 | |
|---|---|---|
| 5 |      | Kenji Horiuchi: Less Abstract Semantics for Abstract Interpretation of FGHC Programs. FGCS 1992: 897-906 |
| 1987 | ||
| 4 | | Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768 |
| 3 |  | Kenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214 |
| 1986 | ||
| 2 | | Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998 |
| 1985 | ||
| 1 | | Tadashi Kanamori, Kenji Horiuchi: Type Inference in Prolog and Its Application. IJCAI 1985: 704-707 |
| 1 | Hiroshi Fujita | [2] |
| 2 | Tadashi Kanamori | [1] [2] [3] [4] |
| 3 | Machi Maeji | [2] |
| 4 | Hirohisa Seki | [2] |