Publisher
Springer Nature Switzerland
Reference21 articles.
1. Aoto, T., Toyama, Y.: Top-down labelling and modularity of term rewriting systems. Research Report IS-RR-96-0023F, School of Information Science, JAIST (1996)
2. Lecture Notes in Computer Science;T Aoto,1997
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Aoto,2019
4. Lecture Notes in Computer Science;T Aoto,2009
5. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)