Publisher
Institute of Mathematics, Polish Academy of Sciences
Subject
Algebra and Number Theory
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An abstract factorization theorem and some applications;Journal of Algebra;2022-07
2. Das Protokoll-Buch;Veröffentlichungen des Instituts Wiener Kreis;2021
3. A Tale of Two Set Theories;Lecture Notes in Computer Science;2019
4. Towards a Mizar environment for Isabelle: foundations and language;Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs;2016-01-18
5. Representing model theory in a type-theoretical logical framework;Theoretical Computer Science;2011-08