Počet záznamů: 1
A categorical account of composition methods in logic
SYS 0579478 LBL 01000a^^22220027750^450 005 20240402214914.7 014 $a 85166002522 $2 SCOPUS 014 $a 001036707700034 $2 WOS 017 $a 10.1109/LICS56636.2023.10175751 $2 DOI 100 $a 20231214d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a A categorical account of composition methods in logic 215 $a 14 s. $c P 463 -1
$1 001 cav_un_epca*0574238 $1 010 $a 979-8-3503-3588-0 $1 200 1 $a 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings $v S. 1-14 $1 210 $a New York $c IEEE $d 2023 610 $a computer circuits 610 $a equivalence classes 610 $a finite model theory 700 -1
$3 cav_un_auth*0459873 $a Jakl $b Tomáš $p MU-W $i Abstraktní analýza $j Abstract Analysis $l AA $y CZ $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0459874 $a Marsden $b D. $y GB $4 070 701 -1
$3 cav_un_auth*0459875 $a Shah $b N. $y GB $4 070 856 $u https://doi.org/10.1109/LICS56636.2023.10175751 $9 RIV
Počet záznamů: 1