Travelled to:
1 × Australia
Collaborated with:
T.Kanamori
Talks about:
construct (1) program (1) general (1) unfold (1) logic (1) rule (1) fold (1) base (1)
Person: Kenji Horiuchi
DBLP: Horiuchi:Kenji
Contributed to:
Wrote 1 papers:
- ICLP-1987-KanamoriH87 #logic programming #source code
- Construction of Logic Programs Based on Generalized Unfold/Fold Rules (TK, KH), pp. 744–768.