Košík

0574198 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Folwarczný, Lukáš
On protocols for monotone feasible interpolation.
ACM Transactions on Computation Theory. Roč. 15, 1-2 (2023), č. článku 2. ISSN 1942-3454
Institucionální podpora: RVO:67985840
Klíčová slova: circuit complexity * communication complexity * proof complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1145/3583754
Trvalý link: https://hdl.handle.net/11104/0344548