Počet záznamů: 1
Residuation of tropical series: rationality issues
SYS 0370192 LBL 02089^^^^^2200325^^^450 005 20240103200137.7 014 $a 000303506204077 $2 WOS 014 $a 84860652234 $2 SCOPUS 017 70
$a 10.1109/CDC.2011.6160228 $2 DOI 100 $a 20120102d m y slo 03 ba 101 0-
$a eng $d eng 102 $a US 200 1-
$a Residuation of tropical series: rationality issues 215 $a 7 s. 300 $a FP7-ICT-2007-3.3-224498 463 -1
$1 001 cav_un_epca*0369970 $1 010 $a 978-1-4673-0457-3 $1 200 1 $a Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference $v S. 3855-3861 $1 210 $a New York $c IEEE $d 2011 $1 702 1 $a Chong $b E.K.P. $4 340 $1 702 1 $a Polycarpou $b M.M. $4 340 610 0-
$a (max,+) formal power series 610 0-
$a residuation 610 0-
$a rationality 610 0-
$a decidability 700 -1
$3 cav_un_auth*0277846 $a Badouel $b E. $y FR $4 070 701 -1
$3 cav_un_auth*0277847 $a Bouillard $b A. $y FR $4 070 701 -1
$3 cav_un_auth*0277848 $a Darondeau $b P. $y FR $4 070 701 -1
$3 cav_un_auth*0100669 $a Komenda $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160228
Počet záznamů: 1