Travelled to:
1 × USA
Collaborated with:
Y.Inagaki
Talks about:
complex (1) algebra (1) system (1) semant (1) rewrit (1) term (1)
Person: Tohru Naoi
DBLP: Naoi:Tohru
Contributed to:
Wrote 1 papers:
- RTA-1989-NaoiI #algebra #complexity #semantics #term rewriting
- Algebraic Semantics and Complexity of Term Rewriting Systems (TN, YI), pp. 311–325.