Tadashi Kanamori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1985–1987
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1987 | ICLP | Construction of Logic Programs Based on Generalized Unfold/Fold Rules. | Tadashi Kanamori, Kenji Horiuchi |
| 1986 | CADE | Formulation of Induction Formulas in Verification of Prolog Programs. | Tadashi Kanamori, Hiroshi Fujita |
| 1986 | ICLP | Verification of Prolog Programs Using an Extension of Execution. | Tadashi Kanamori, Hirohisa Seki |
| 1985 | IJCAI | Type Inference in Prolog and Its Application. | Tadashi Kanamori, Kenji Horiuchi |