Model checking existential logic on partially ordered sets
From MaRDI portal
Publication:4635604
DOI10.1145/2603088.2603110zbMath1401.68187arXiv1405.2891MaRDI QIDQ4635604
Stefan Szeider, Robert Ganian, Simone Bova
Publication date: 23 April 2018
Published in: ACM Transactions on Computational Logic, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.2891
68Q25: Analysis of algorithms and problem complexity
06A06: Partial orders, general
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)