Formalizing ordinal partition relations using Isabelle/HOL

Počet záznamů: 1

1.

SYSNO	0559684
Název	Formalizing ordinal partition relations using Isabelle/HOL
Tvůrce(i)	Džamonja, Mirna (MU-W)_{SAI, ORCID, RID} Koutsoukou-Argyraki, A. (GB) Paulson, L. C. (GB)
Zdroj.dok.	Experimental Mathematics. Roč. 31, č. 2 (2022), s. 383-400. - : Taylor & Francis
Druh dok.	Článek v odborném periodiku
Grant	GX20-31529X GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	interactive theorem proving * Isabelle * ordinal partition relations * set theory
Spolupracující instituce	Université de Paris (Francie) University of Cambridge (Velká Británie)
URL	https://doi.org/10.1080/10586458.2021.1980464
Trvalý link	https://hdl.handle.net/11104/0332887

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Dzamonja.pdf	2	1.8 MB		Vydavatelský postprint	povolen

Počet záznamů: 1