Travelled to:
1 × Spain
Collaborated with:
K.Ogata K.Futatsugi
Talks about:
abstract (1) system (1) rewrit (1) machin (1) condit (1) order (1) tram (1) term (1) sort (1)
Person: Koichi Ohhara
DBLP: Ohhara:Koichi
Contributed to:
Wrote 1 papers:
- RTA-1997-OgataOF #automaton #named #order #term rewriting
- TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems (KO, KO, KF), pp. 335–338.