Tadashi Kanamori (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768

7 Kenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214

5 Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998

2 Tadashi Kanamori, Kenji Horiuchi: Type Inference in Prolog and Its Application. IJCAI 1985: 704-707

Selection of 4 from 12 records - Tadashi Kanamori has 8 coauthors

8		Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768
7		Kenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214
5		Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998
2		Tadashi Kanamori, Kenji Horiuchi: Type Inference in Prolog and Its Application. IJCAI 1985: 704-707