Publisher
Springer International Publishing
Reference23 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
2. Bezem, M., Klop, J.W., de Vrijer, R. (eds.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)
3. Bruggink, H.J.S.: Towards a systematic method for proving termination of graph transformation systems. Electron. Notes Theor. Comput. Sci. 213(1), 23–38 (2008). https://doi.org/10.1016/j.entcs.2008.04.072
4. Lecture Notes in Computer Science;HJS Bruggink,2015
5. Lecture Notes in Computer Science;HJS Bruggink,2014
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献