Jan Obdr\v{z}\'alek (Masaryk University

Identifiers

• name variant Jan Obdr\v{z}\'alek (Masaryk University 0.60 · backfill

Papers (1)

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

Mentions

• 1409.4433 #5 · backfill · confidence 0.70 Jan Obdr\v{z}\'alek (Masaryk University

Frequent Coauthors

• Brno) 1 shared papers
• Jakub Gajarsk\'y (Masaryk University 1 shared papers
• Petr Hlin\v{e}n\'y (Masaryk University 1 shared papers
• Sebastian Ordyniak (Masaryk University 1 shared papers