Model Checking Existential Logic on Partially Ordered Sets

Abstract

Full Citation:

Simone Bova, Robert Ganian, Stefan Szeider. Model Checking Existential Logic on Partially Ordered Sets. ACM Transactions on Computational Logic, volume 17, number 2, 2016.

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.