Model checking existential logic on partially ordered sets

DOI10.1145/2814937MaRDI QIDQ6829570zbMATH OpenFDO

Authors Simone Bova, Robert Ganian, Stefan Szeider

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

zbMATH Keywords

model checkingparameterized complexitypartially ordered setswidth

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

This page was built for publication: Model checking existential logic on partially ordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829570)