Tadashi Kanamori (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

12 Tadashi Kanamori, Tadashi Kawamura: Abstract Interpretation based on OLDT Resolution. J. Log. Program. 15(1&2): 1-30 (1993)

10 Tadashi Kawamura, Tadashi Kanamori: Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. Theor. Comput. Sci. 75(1&2): 139-156 (1990)

9 Tadashi Kawamura, Tadashi Kanamori: Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. FGCS 1988: 413-421

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

12		Tadashi Kanamori, Tadashi Kawamura: Abstract Interpretation based on OLDT Resolution. J. Log. Program. 15(1&2): 1-30 (1993)
10		Tadashi Kawamura, Tadashi Kanamori: Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. Theor. Comput. Sci. 75(1&2): 139-156 (1990)
9		Tadashi Kawamura, Tadashi Kanamori: Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. FGCS 1988: 413-421