Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference14 articles.
1. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic, Orlando (1979)
2. Boyer, R.S., Moore, J.S.: A Computational Logic Handbook. Academic, San Diego (1988)
3. Brock, B., Kaufmann, M., Moore, J.S.: Rewriting with equivalence relations in ACL2. J. Autom. Reason. 40(4), 293–306 (2008)
4. Corman, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms, chap. 32. McGraw-Hill, New York (1990)
5. Greve, D.: Parameterized congruences in ACL2. In: Proceedings of the Sixth International Workshop of the ACL2 Theorem Prover and its Applications (ACL2-2006) (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A fully verified container library;Formal Aspects of Computing;2018-09
2. A Fully Verified Container Library;FM 2015: Formal Methods;2015
3. Implementing Powerlists with Bulk Synchronous Parallel ML;2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing;2014-09
4. Powerlists in Coq: Programming and Reasoning;2013 First International Symposium on Computing and Networking;2013-12