0559684 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Džamonja, Mirna - Koutsoukou-Argyraki, A. - Paulson, L. C.
Formalizing ordinal partition relations using Isabelle/HOL.
Experimental Mathematics. Roč. 31, č. 2 (2022), s. 383-400. ISSN 1058-6458. E-ISSN 1944-950X
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: interactive theorem proving * Isabelle * ordinal partition relations * set theory
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2022 ; AIS: 0.627, rok: 2022
Způsob publikování: Open access
Web výsledku:
https://doi.org/10.1080/10586458.2021.1980464DOI: https://doi.org/10.1080/10586458.2021.1980464
Trvalý link: https://hdl.handle.net/11104/0332887