Petr Hlin\v{e}n\'y (Masaryk University

Identifiers

• name variant Petr Hlin\v{e}n\'y (Masaryk University 0.60 · backfill

Papers (1)

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

Mentions

• 1409.4433 #3 · backfill · confidence 0.70 Petr Hlin\v{e}n\'y (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
• Sebastian Ordyniak (Masaryk University 1 shared papers