Cezary Kaliszyk, Karol Pak. Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. In Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos, editors, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Volume 10693 of Lecture Notes in Computer Science, pages 163-178, Springer, 2017. [doi]
@inproceedings{KaliszykP17-1,
title = {Isabelle Formalization of Set Theoretic Structures and Set Comprehensions},
author = {Cezary Kaliszyk and Karol Pak},
year = {2017},
doi = {10.1007/978-3-319-72453-9_12},
url = {https://doi.org/10.1007/978-3-319-72453-9_12},
researchr = {https://researchr.org/publication/KaliszykP17-1},
cites = {0},
citedby = {0},
pages = {163-178},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
editor = {Johannes Blömer and Ilias S. Kotsireas and Temur Kutsia and Dimitris E. Simos},
volume = {10693},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-72453-9},
}