Author:
Manolios Panagiotis,Vroon Daron
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference65 articles.
1. Apt, K. R. and Olderog, E.-R.: Verification of Sequential and Concurrent Programs, Springer, Berlin Heidelberg New York, 1991.
2. Baader, F. and Nipkow, T.: Term Rewriting and All That, Cambridge University Press, Cambridge, UK, 1998.
3. Bancerek, G.: The reflection theorem, J. Formaliz. Math. 2 (1990). See URL http://megrez.mizar.org/mirror/JFM/Vol2/zf refle.html .
4. Belinfante, J. G.: Computer proofs in Gödel's class theory with equational definitions for composite and cross, J. Autom. Reason. 22(3) (1999), 311–339.
5. Belinfante, J. G. F.: On computer-assisted proofs in ordinal number theory, J. Autom. Reason. 22(3) (1999), 341–378.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
2. On the Width of the Cartesian Product of Ordinals;Order;2024-04-06
3. Proving Calculational Proofs Correct;Electronic Proceedings in Theoretical Computer Science;2023-11-14
4. Verification of GossipSub in ACL2s;Electronic Proceedings in Theoretical Computer Science;2023-11-14
5. Type-theoretic approaches to ordinals;Theoretical Computer Science;2023-05