Complexity thresholds in inclusion logic
From MaRDI portal
Publication:5919492
DOI10.1007/978-3-662-59533-6_19zbMath1496.03131arXiv1903.10706MaRDI QIDQ5919492
Publication date: 4 March 2020
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.10706
68Q25: Analysis of algorithms and problem complexity
03B60: Other nonclassical logic
03B70: Logic in computer science