Author:
Felgenhauer Bertram,Rapp Franziska
Publisher
Springer International Publishing
Reference20 articles.
1. Aoto, T., Toyama, Y.: Extending persistency of confluence with ordered sorts. Technical report IS-RR-96-0025F, School of Information Science, JAIST (1996)
2. Lecture Notes in Computer Science;T Aoto,2009
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998).
https://doi.org/10.1017/cbo9781139172752
4. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123–153 (2014).
https://doi.org/10.1007/s10817-013-9284-7
5. Felgenhauer, B.: Deciding confluence of ground term rewrite systems in cubic time. In: Tiwari, A. (ed.) Proceedings of 23rd International Conference on Rewriting Techniques and Applications. RTA 2012, May–June 2012, Nagoya. Leibniz International Proceedings in Informatics, vol. 15, pp. 165–175. Dagstuhl Publishing, Saarbrücken, Wadern (2012).
https://doi.org/10.4230/lipics.rta.2012.165
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019