Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2007

  1. OBDRŽÁLEK, Jan. Clique-Width and Parity Games. In Computer Science Logic 2007, proceedings. Berlin: Springer-Verlag, 2007. s. 54-68, 15 s. ISBN 978-3-540-74914-1.
  2. 2003

  3. OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag, 2003. s. 80-92, 13 s. ISBN 3-540-40524-0.
Zobrazit podrobně
Zobrazeno: 3. 8. 2020 17:50