On protocols for monotone feasible interpolation

Number of the records: 1

1.

SYSNO	0574198
Title	On protocols for monotone feasible interpolation
Author(s)	Folwarczný, Lukáš (MU-W)_{SAI, ORCID}
Corespondence/senior	Folwarczný, Lukáš - Korespondující autor
Source Title	ACM Transactions on Computation Theory. Roč. 15, 1-2 (2023). - : Association for Computing Machinery
Article number	2
Document Type	Článek v odborném periodiku
Institutional support	MU-W - RVO:67985840
Language	eng
Country	US
Keywords	circuit complexity * communication complexity * proof complexity
URL	https://doi.org/10.1145/3583754
Permanent Link	https://hdl.handle.net/11104/0344548

	File	Download	Size	Commentary	Version	Access
	Folwarczny1.pdf	1	492.8 KB		Publisher’s postprint	require

Number of the records: 1