Tadashi Kawamura

According to our database, Tadashi Kawamura authored at least 5 papers between 1988 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

1993

Abstract Interpretation based on OLDT Resolution.

Tadashi Kanamori, Tadashi Kawamura

J. Log. Program., 1993

1992

Logic Program Synthesis from First Order Logic Specifications.

Tadashi Kawamura

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Derivation of Efficient Logic Programs by Synthesizing New Predicates.

Tadashi Kawamura

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.

Tadashi Kawamura, Tadashi Kanamori

Theor. Comput. Sci., 1990

1988

Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.

Tadashi Kawamura, Tadashi Kanamori

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988