Funder
Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference49 articles.
1. Appel, A.W.: Efficient verified red-black trees.
http://www.cs.princeton.edu/~appel/papers/redblack.pdf
(2011)
2. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett. 8(3), 121–123 (1979)
3. Back, R.J.J., Akademi, A., Wright, J.V.: Refinement Calculus: A Systematic Introduction, 1st edn. Springer, New York (1998)
4. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123–153 (2014).
https://doi.org/10.1007/s10817-013-9284-7
5. Berghofer, S., Reiter, M.: Formalizing the logic-automaton connection. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009, LNCS, vol. 5674, pp. 147–163. Springer, Heidelberg (2009)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalized Functional Analysis with Semilinear Maps;Journal of Automated Reasoning;2024-06
2. Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence;Lecture Notes in Computer Science;2024
3. Transport via Partial Galois Connections and Equivalences;Programming Languages and Systems;2023
4. Property-Based Testing: Climbing the Stairway to Verification;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
5. Quotients of Bounded Natural Functors;Logical Methods in Computer Science;2022-02-01