Publisher
Springer International Publishing
Reference9 articles.
1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)
2. Cerna, D.M., Kiesel, R.P., Dzhiganskaya, A.: A mobile application for self-guided study of formal reasoning. In: Quaresma, P., Neuper, W., Marcos, J. (eds.) Proceedings of the 8th International Workshop on Theorem Proving Components for Educational Software. Electronic Proceedings in Theoretical Computer Science, vol. 313, pp. 35–53. Open Publishing Association (2020).
https://doi.org/10.4204/EPTCS.313.3
3. Di Cosmo, R., Miller, D.: Linear logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2019)
4. Hauser, F.: Sequent Calculus Calculator.
https://seqcalc.io/
. Accessed Jan 2020
5. Leach-Krouse, G.: Carnap: an open framework for formal reasoning in the browser. In: Quaresma, P., Neuper, W. (eds.) Proceedings 6th International Workshop on Theorem proving components for Educational software. Electronic Proceedings in Theoretical Computer Science, vol. 267, pp. 70–88. Open Publishing Association (2018).
https://doi.org/10.4204/EPTCS.267.5
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Proof Tree Builder for Sequent Calculus and Hoare Logic;Electronic Proceedings in Theoretical Computer Science;2023-03-10
2. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems;Journal of Logical and Algebraic Methods in Programming;2023-01
3. SeCaV: A Sequent Calculus Verifier in Isabelle/HOL;Electronic Proceedings in Theoretical Computer Science;2022-04-08
4. Interactive Theorem Proving for Logic and Information;Studies in Computational Intelligence;2021-11-02
5. Facilitating Meta-Theory Reasoning (Invited Paper);Electronic Proceedings in Theoretical Computer Science;2021-07-16