Počet záznamů: 1
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
SYS 0358360 LBL 00965^^^^^2200193^^^450 005 20240103195043.8 014 $a 000306442700003 $2 WOS 014 $a 79960791654 $2 SCOPUS 017 7-
$a 10.1007/978-3-642-22303-7_3 $2 DOI 100 $a 20110317d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0358359 $1 010 $a 978-3-642-22302-0 $1 011 $a 0302-9743 $1 200 1 $a Logic, Language, and Computation $v S. 30-45 $1 210 $a Berlin $c Springer $d 2011 $1 225 $a Lecture Notes in Artificial Intelligence $v 6618 $1 702 $a Bezhanishvili $b N. $4 340 $1 702 $a Löbner $b S. $4 340 $1 702 $a Schwabe $b K. $4 340 $1 702 $a Spada $b L. $4 340 610 0-
$a modal logic 610 0-
$a interpolation 610 0-
$a deep inference 700 -1
$3 cav_un_auth*0218529 $a Bílková $b Marta $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1