Tadashi Kawamura

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

Collaborative distances:

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

1994

Logic Program Synthesis from First-Order Logic Specifications.

Tadashi Kawamura

Theor. Comput. Sci., 1994

1993

Abstract Interpretation based on OLDT Resolution.

Tadashi Kanamori, Tadashi Kawamura

J. Log. Program., 1993

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