`Travelled to:`

1 × Australia

1 × United Kingdom

`Collaborated with:`

K.Horiuchi H.Fujita H.Seki

`Talks about:`

program (3) prolog (2) verif (2) construct (1) general (1) formula (1) unfold (1) induct (1) formul (1) extens (1)

## Person: Tadashi Kanamori

### DBLP: Kanamori:Tadashi

### Contributed to:

### Wrote 3 papers:

- ICLP-1987-KanamoriH87 #logic programming #source code
- Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.
- CADE-1986-KanamoriF #induction #prolog #source code #verification
- Formulation of Induction Formulas in Verification of Prolog Programs (TK, HF), pp. 281–299.
- ICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification
- Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.