A restricted second order logic for finite structures
From MaRDI portal
Publication:1271559
DOI10.1006/inco.1998.2703zbMath0909.68078WikidataQ58215736 ScholiaQ58215736MaRDI QIDQ1271559
Publication date: 10 November 1998
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1998.2703
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)