Filtrování

    2013

    1. FO Model Checking of Interval Graphs
      GANIAN, Robert; Petr HLINĚNÝ; Daniel KRÁĽ; Jan OBDRŽÁLEK; Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer, 2013, s. 250-262. ISBN 978-3-642-39211-5. Dostupné z: https://doi.org/10.1007/978-3-642-39212-2_24.
      Podrobněji: https://is.muni.cz/publication/1123297/cs
Zobrazit podrobně