česky | in English
Název česky: Kliková šířka a paritní hry
RIV/00216224:14330/07:00022579 Stať ve sborníku. Informatika. angličtina. Německo.
Obdržálek, Jan (203 Česká republika, garant)
Klíčová slova anglicky: parity games; mu-calculus; clique-width
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 24. 3. 2010 15:19.
RIV/00216224:14330/03:00008708 Stať ve sborníku. Informatika. angličtina. Německo.
Obdržálek, Jan (203 Česká republika, garant)
Klíčová slova anglicky: parity games; mu-calculus; model-checking; tree-width
Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 26. 5. 2004 11:18.