Author:
Aoto Takahito,Ketema Jeroen
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Ariola, Z.M., Klop, J.W.: Equational Term Graph Rewriting. Fundamenta Informaticae 26, 207–240 (1996)
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
3. Barendsen, E.: Term Graph Rewriting. In: Terese (ed.) [17], ch. 13, pp. 712–743
4. Lecture Notes in Computer Science;A. Corradini,1993
5. Corradini, A., Drewes, F.: Term Graph Rewriting and Parallel Term Rewriting. In: TERMGRAPH 2011. EPTCS, vol. 48, pp. 3–18 (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Commutative Rational Term Rewriting;Language and Automata Theory and Applications;2021
2. Computing with Infinite Terms and Infinite Reductions;Fundamenta Informaticae;2019-10-19