On protocols for monotone feasible interpolation

Počet záznamů: 1

1.

SYSNO	0574198
Název	On protocols for monotone feasible interpolation
Tvůrce(i)	Folwarczný, Lukáš (MU-W)_{SAI, ORCID}
Korespondující/senior	Folwarczný, Lukáš - Korespondující autor
Zdroj.dok.	ACM Transactions on Computation Theory. Roč. 15, 1-2 (2023). - : Association for Computing Machinery
Číslo článku	2
Druh dok.	Článek v odborném periodiku
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	circuit complexity * communication complexity * proof complexity
URL	https://doi.org/10.1145/3583754
Trvalý link	https://hdl.handle.net/11104/0344548

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Folwarczny1.pdf	1	492.8 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1