Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Sebastian Ordyniak

Recent Publications

Faster Existential FO Model Checking on Posets
Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Sebastian Ordyniak
Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings (Hee-Kap Ahn and Chan-Su Shin), volume 8889 of Lecture Notes in Computer Science, pages 441-451, 2014, Springer.
Cite