Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancement of properties in Mizar;PeerJ Computer Science;2020-11-30
2. Multiplication-Related Classes of Complex Numbers;Formalized Mathematics;2020-07-01
3. Extended Floyd-Hoare Logic over Relational Nominative Data;Information and Communication Technologies in Education, Research, and Industrial Applications;2018
4. Introducing Euclidean Relations to Mizar;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24
5. Formalization of the Algebra of Nominative Data in Mizar;Proceedings of the 2017 Federated Conference on Computer Science and Information Systems;2017-09-24