Kenji Horiuchi

	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

Coauthor Index

1	Hiroshi Fujita	[2]
2	Tadashi Kanamori	[1] [2] [3] [4]
3	Machi Maeji	[2]
4	Hirohisa Seki	[2]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page