Building Extended Canonizers by Graph-Based Deduction
暂无分享,去创建一个
[1] Christopher Lynch,et al. SOUR graphs for efficient completion , 1998, Discret. Math. Theor. Comput. Sci..
[2] Natarajan Shankar,et al. Deconstructing Shostak , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[3] Sylvain Conchon,et al. Canonization for disjoint unions of theories , 2005, Inf. Comput..
[4] Ashish Tiwari,et al. Abstract Congruence Closure , 2003, Journal of Automated Reasoning.
[5] Maria Paola Bonacina,et al. On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal , 2005, FroCoS.
[6] Zhiming Liu,et al. Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers , 2005, ICTAC.
[7] Michaël Rusinowitch. Theorem-Proving with Resolution and Superposition , 1991, J. Symb. Comput..
[8] Michaël Rusinowitch,et al. A rewriting approach to satisfiability procedures , 2003, Inf. Comput..
[9] Robert E. Shostak,et al. Deciding Combinations of Theories , 1982, JACM.
[10] Greg Nelson,et al. Simplification by Cooperating Decision Procedures , 1979, TOPL.
[11] J. Cheney,et al. A sequent calculus for nominal logic , 2004, LICS 2004.
[12] Hélène Kirchner,et al. Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..
[13] H. Brown,et al. Computational Problems in Abstract Algebra , 1971 .
[14] Derek C. Oppen. Reasoning About Recursively Defined Data Structures , 1980, J. ACM.
[15] Tobias Nipkow,et al. Term rewriting and all that , 1998 .
[16] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[17] Leo Bachmair,et al. On the Combination of Congruence Closure and Completion , 2004, AISC.
[18] Greg Nelson,et al. Fast Decision Procedures Based on Congruence Closure , 1980, JACM.
[19] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .
[20] C. A. R. Hoare,et al. Intelligent Systems and Formal Methods in Software Engineering , 2006, IEEE Intelligent Systems.
[21] Christophe Ringeissen,et al. Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn , 2004, ICTAC.