The canonical pairs of bounded depth Frege systems

Počet záznamů: 1

1.

SYSNO	0535773
Název	The canonical pairs of bounded depth Frege systems
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Korespondující/senior	Pudlák, Pavel - Korespondující autor
Zdroj.dok.	Annals of Pure and Applied Logic. Roč. 172, č. 2 (2021). - : Elsevier
Číslo článku	102892
Druh dok.	Článek v odborném periodiku
Grant	339691, XE - země EU
	GX19-27871X GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	circuits * complexity * games * proofs
URL	https://doi.org/10.1016/j.apal.2020.102892
Trvalý link	http://hdl.handle.net/11104/0313709

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak.pdf	3	676.3 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1