Showing 1 - 1 results of 1 for search 'Sebastian Ordyniak', query time: 0.02s Refine Results
  1. 1
    Faster Existential FO Model Checking on Posets

    Faster Existential FO Model Checking on Posets by Jakub Gajarský, Petr Hliněný, Jan Obdržálek, Sebastian Ordyniak

    Published 2015-12-01
    Get full text
    Article

Search Tools: