Publisher
Springer International Publishing
Reference33 articles.
1. Bouhoula, A.: Simultaneous checking of completeness and ground confluence for algebraic specifications. ACM Trans. Comput. Log. 10(3), 20:1–20:33 (2009)
2. Bouhoula, A., Jouannaud, J.P.: Automata-driven automated induction. Inf. Comput. 169(1), 1–22 (2001)
3. Bouhoula, A., Jouannaud, J.P., Meseguer, J.: Specification and proof in membership equational logic. Theor. Comput. Sci. 236, 35–132 (2000)
4. Cholewa, A., Meseguer, J., Escobar, S.: Variants of variants and the finite variant property. Technical report, CS Department University of Illinois at Urbana-Champaign (2014). http://hdl.handle.net/2142/47117
5. Lecture Notes in Computer Science;M Clavel,2007
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献