Number of the records: 1
Feasible Disjunction Property and Feasible Interpolation in Modal Logic
SYS 0089500 LBL 00670^^^^^2200193^^^450 005 20240103184739.9 100 $a 20071114d m y slo 03 ba 101 0-
$a eng 102 $a CZ 200 1-
$a Feasible Disjunction Property and Feasible Interpolation in Modal Logic 210 $a Prague $c ITI Charles University $d 2007 215 $a 15 s. 225 1-
$a ITI Series $v 2007-341 610 0-
$a interpolation 610 0-
$a modal logic 610 0-
$a disjunction property 610 0-
$a feasible interpolation 700 -1
$3 cav_un_auth*0218529 $a Bílková $b Marta $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1