 | 1994 |
|---|
| 6 |       | Tadashi Kawamura:
Logic Program Synthesis from First-Order Logic Specifications.
Theor. Comput. Sci. 122(1&2): 69-96 (1994) |
| 1993 |
|---|
| 5 | | Tadashi Kanamori,
Tadashi Kawamura:
Abstract Interpretation based on OLDT Resolution.
J. Log. Program. 15(1&2): 1-30 (1993) |
| 1992 |
|---|
| 4 | | Tadashi Kawamura:
Logic Program Synthesis from First Order Logic Specifications.
FGCS 1992: 463-472 |
| 1991 |
|---|
| 3 | | Tadashi Kawamura:
Derivation of Efficient Logic Programs by Synthesizing New Predicates.
ISLP 1991: 611-625 |
| 1990 |
|---|
| 2 | | Tadashi Kawamura,
Tadashi Kanamori:
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
Theor. Comput. Sci. 75(1&2): 139-156 (1990) |
| 1988 |
|---|
| 1 | | Tadashi Kawamura,
Tadashi Kanamori:
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
FGCS 1988: 413-421 |
