Sebastian Ordyniak (Masaryk University

Identifiers

• name variant Sebastian Ordyniak (Masaryk University 0.60 · backfill

Papers (1)

1. Faster Existential FO Model Checking on Posets cs.LO · 2014 · author #7

Mentions

• 1409.4433 #7 · backfill · confidence 0.70 Sebastian Ordyniak (Masaryk University

Frequent Coauthors

• Brno) 1 shared papers
• Jakub Gajarsk\'y (Masaryk University 1 shared papers
• Jan Obdr\v{z}\'alek (Masaryk University 1 shared papers
• Petr Hlin\v{e}n\'y (Masaryk University 1 shared papers