Tadashi Kanamori (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

4 Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489

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

5		Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998
4		Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489