IEEE Foundations of Computer Science, FOCS 2015


Article Details
Title: FO Model Checking on Posets of Bounded Width
Article URLs:
Alternative Article URLs:
Authors: Jakub Gajarský
  • Masaryk University, Brno, Czech Republic, Faculty of Informatics
Petr Hlinený
  • Masaryk University, Brno, Czech Republic, Faculty of Informatics
Daniel Lokshtanov
  • University of Bergen, Bergen, Norway
Jan Obdrzálek
  • Masaryk University, Brno, Czech Republic, Faculty of Informatics
Sebastian Ordyniak
  • Masaryk University, Brno, Czech Republic, Faculty of Informatics
  • TU Wien, Wien, Austria
M. S. Ramanujan
  • University of Bergen, Bergen, Norway
  • TU Wien, Wien, Austria
Saket Saurabh
  • University of Bergen, Bergen, Norway
  • The Institute of Mathematical Sciences Chennai, India
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/focs/GajarskyHLOORS15
Author Comments:

Discuss this paper and its artifacts below