External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Faster Existential FO Model Checking on Posets

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

Authors

Jakub Gajarský

This author has not been identified. Look up 'Jakub Gajarský' in Google

Petr Hlinený

This author has not been identified. Look up 'Petr Hlinený' in Google

Jan Obdrzálek

This author has not been identified. Look up 'Jan Obdrzálek' in Google

Sebastian Ordyniak

This author has not been identified. Look up 'Sebastian Ordyniak' in Google
runs on