Travelled to:
1 × Japan
Collaborated with:
H.Katsuno
Talks about:
transact (2) transform (1) program (1) execut (1) logic (1) estim (1) path (1) base (1)
Person: Hideki Isozaki
DBLP: Isozaki:Hideki
Contributed to:
Wrote 1 papers:
- ICLP-1995-IsozakiK #estimation #execution #logic programming #source code #transaction
- Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.