Author:
Liu Jiaxiang,Jouannaud Jean-Pierre
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Church, A., Rosser, J.B.: Some properties of conversion. Transactions of the American Mathematical Society 39, 472–482 (1936)
2. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 243–320. North-Holland (1990)
3. Diaconescu, R., Futatsugi, K.: An overview of cafeobj. Electr. Notes Theor. Comput. Sci. 15, 285–298 (1998)
4. Felgenhauer, B.: Personnal communication (2013)
5. Felgenhauer, B.: Rule labeling for confluence of left-linear term rewrite systems. In: International Workshop on Confluence (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献