Travelled to:
1 × Germany
Collaborated with:
M.Kurihara H.Kondo
Talks about:
multipl (1) complet (1) reduct (1) order (1)
Person: Azuma Ohuchi
DBLP: Ohuchi:Azuma
Contributed to:
Wrote 1 papers:
- RTA-1995-KuriharaKO #multi #order #reduction
- Completion for Multiple Reduction Orderings (MK, HK, AO), pp. 71–85.