Author:
Skeirik Stephen,Stefanescu Andrei,Meseguer José
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;M Clavel,2007
2. Lecture Notes in Computer Science;H Comon-Lundh,2005
3. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of Theoretical Computer Science, vol. B, pp. 243–320. North-Holland (1990)
4. Durán, F., Meseguer, J.: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebr. Program. 81(7–8), 816–850 (2012)
5. Lecture Notes in Computer Science;K Futatsugi,2010
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献