Počet záznamů: 1
Causality in Bounded Petri Nets is MSO Definable
SYS 0465187 LBL 01000a^^22220027750^450 005 20240103212925.0 014 $a 84981484644 $2 SCOPUS 014 $a 000389705800013 $2 WOS 017 $a 10.1007/978-3-662-52921-8_13 $2 DOI 100 $a 20161112d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a Causality in Bounded Petri Nets is MSO Definable 215 $a 15 s. $c P 463 -1
$1 001 cav_un_epca*0461965 $1 010 $a 978-3-662-52920-1 $1 011 $a 0302-9743 $1 200 1 $a Logic, Language, Information, and Computation $v S. 200-214 $1 210 $a Berlin $c Springer $d 2016 $1 225 $a Lecture Notes in Computer Science $v 9803 $1 702 1 $4 340 $a Väänänen $b J. $1 702 1 $4 340 $a Hirvonen $b A. $1 702 1 $4 340 $a de Queiroz $b R. 610 $a partial order behaviour of Petri nets 610 $a monadic second order logic 610 $a recognizability 700 -1
$3 cav_un_auth*0325257 $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 de Oliveira Oliveira $b Mateus $p MU-W $y SE $T Matematický ústav AV ČR, v. v. i. 856 $u http://link.springer.com/chapter/10.1007/978-3-662-52921-8_13
Počet záznamů: 1