Number of the records: 1
Uniform interpolation via nested sequents and hypersequents
SYS 0582406 LBL 01000a^^22220027750^450 005 20240402215151.7 017 $a 10.48550/arXiv.2105.10930 $2 DOI 100 $a 20240116d m y slo 03 ba 101 $a eng 102 $a US 200 1-
$a Uniform interpolation via nested sequents and hypersequents 210 $a Cornell $c Cornell University $d 2021 215 $a 24 s. $c E 225 $a arXiv.org e-Print archive $v arXiv:2105.10930 700 -1
$3 cav_un_auth*0462829 $a Van Der Giessen $b I. $y NL 701 -1
$3 cav_un_auth*0462830 $a Jalali $b Raheleh $p UIVT-O $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0462834 $a Kuznets $b R. $y AT 856 $u https://arxiv.org/abs/2201.05106 $9 RIV
Number of the records: 1