Author:
Chen Xiaohong,Lucanu Dorel,Roşu Grigore
Publisher
Springer International Publishing
Reference12 articles.
1. Lecture Notes in Computer Science;A Arusoaie,2019
2. Chen, X., Roşu, G.: Applicative matching logic. Technical report (2019). http://hdl.handle.net/2142/104616. University of Illinois at Urbana-Champaign
3. Chen, X., Rosu, G.: Matching $$\mu $$-logic. In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Vancouver, Canada, pp. 1–13. IEEE (2019). https://doi.org/10.1109/LICS.2019.8785675
4. Escobar, S., Sasse, R., Meseguer, J.: Folding variant narrowing and optimal variant termination. J. Log. Algebraic Program. 81(7–8), 898–928 (2012). https://doi.org/10.1016/j.jlap.2012.01.002
5. Lecture Notes in Computer Science;K Futatsugi,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献