Number of the records: 1
On protocols for monotone feasible interpolation
SYS 0574198 LBL 01000a^^22220027750^450 005 20240402214235.9 014 $a 85164243386 $2 SCOPUS 014 $a 001020428600002 $2 WOS 017 $a 10.1145/3583754 $2 DOI 100 $a 20230809d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a On protocols for monotone feasible interpolation 215 $a 17 s. 463 -1
$1 001 cav_un_epca*0430343 $1 011 $a 1942-3454 $1 200 1 $a ACM Transactions on Computation Theory $v Roč. 15, 1-2 (2023) $1 210 $c Association for Computing Machinery 610 $a circuit complexity 610 $a communication complexity 610 $a proof complexity 700 -1
$3 cav_un_auth*0389535 $a Folwarczný $b Lukáš $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $y CZ $4 070 $z K $T Matematický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1145/3583754 $9 RIV
Number of the records: 1