Publication:4635604: Difference between revisions
From MaRDI portal
Publication:4635604
Created automatically from import240129110113 |
EloiFerrer (talk | contribs) m EloiFerrer moved page Model checking existential logic on partially ordered sets to Model checking existential logic on partially ordered sets: Duplicate |
(No difference)
| |
Latest revision as of 16:07, 2 May 2024
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.)
