Number of the records: 1
Blending margins: The modal logic K has nullary unification type
SYS 0453140 LBL 01000a^^22220027750^450 005 20240103211511.8 014 $a 000363212100004 $2 WOS 017 $a 10.1093/logcom/ext055 $2 DOI 100 $a 20151222d m y slo 03 ba 101 $a eng $d eng 102 $a GB 200 1-
$a Blending margins: The modal logic K has nullary unification type 215 $a 10 s. 463 -1
$1 001 cav_un_epca*0253859 $1 011 $a 0955-792X $e 1465-363X $1 200 1 $a Journal of Logic and Computation $v Roč. 25, č. 5 (2015), s. 1231-1240 610 $a modal logic 610 $a unification type 610 $a rule of margins 700 -1
$3 cav_un_auth*0219256 $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $4 070 $a Jeřábek $b Emil $p MU-W $T Matematický ústav AV ČR, v. v. i. 856 $u http://logcom.oxfordjournals.org/content/25/5/1231
Number of the records: 1