Počet záznamů: 1
Relation Liftings on Preorders and Posets
SYS 0368502 LBL 01485^^^^^2200241^^^450 005 20240103195952.0 014 $a 80053019499 $2 SCOPUS 017 70
$a 10.1007/978-3-642-22944-2_9 $2 DOI 100 $a 20111205d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Relation Liftings on Preorders and Posets 215 $a 15 s. 463 -1
$1 001 cav_un_epca*0368501 $1 010 $a 978-3-642-22943-5 $1 011 $a 0302-9743 $1 200 1 $a Algebra and Coalgebra in Computer Science $v S. 115-129 $1 210 $a Berlin $c Springer $d 2011 $1 225 $a Lecture Notes in Computer Science $v 6859 $1 702 1 $a Corradini $b A. $4 340 $1 702 1 $a Klin $b B. $4 340 $1 702 1 $a Cirstea $b C. $4 340 610 0-
$a relation lifting 610 0-
$a exact squares 610 0-
$a monotone relation 610 0-
$a coalgebraic logic 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. 701 -1
$3 cav_un_auth*0276843 $a Kurz $b A. $y GB $4 070 701 -1
$3 cav_un_auth*0276844 $a Petrisan $b D. $y GB $4 070 701 -1
$3 cav_un_auth*0271333 $a Velebil $b J. $y CZ $4 070
Počet záznamů: 1