- CSB - MetaPress - Google - Bing - Yahoo
 | 1993 | |
|---|---|---|
| j3 |      | Tadashi Kanamori, Tadashi Kawamura: Abstract Interpretation based on OLDT Resolution. J. Log. Program. 15(1&2): 1-30 (1993) |
| j2 | | Tadashi Kanamori: Abstract Interpretation Based on Alexander Templates. J. Log. Program. 15(1&2): 31-54 (1993) |
| 1990 | ||
| j1 | | Tadashi Kawamura, Tadashi Kanamori: Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. Theor. Comput. Sci. 75(1&2): 139-156 (1990) |
| 1988 | ||
| c9 |  | Tadashi Kawamura, Tadashi Kanamori: Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. FGCS 1988: 413-421 |
| 1987 | ||
| c8 | | Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768 |
| c7 | | Kenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214 |
| 1986 | ||
| c6 | | Tadashi Kanamori, Hiroshi Fujita: Formulation of Induction Formulas in Verification of Prolog Programs. CADE 1986: 281-299 |
| c5 | | Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998 |
| c4 | | Tadashi Kanamori, Hirohisa Seki: Verification of Prolog Programs Using an Extension of Execution. ICLP 1986: 475-489 |
| c3 | | |
| 1985 | ||
| c2 | | |
| 1980 | ||
| c1 | | Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori: A Control Shared Processor MELPIP-1: Design Evaluation. ACM Pacific 1980: 77-85 |
| 1 | Hiroshi Fujita | |
| 2 | Akira Fusaoka | |
| 3 | Masaharu Hirayama | |
| 4 | Kenji Horiuchi | |
| 5 | Tadashi Kawamura | |
| 6 | Machi Maeji | |
| 7 | Hirohisa Seki | |
| 8 | Kazuko Takahashi |
Data released under the ODC-BY 1.0 license — See also our legal information page