DOI10.4230/LIPIcs.CSL.2020.37MaRDI QIDQ5874225
Nils Vortmeier, Thomas Zeume
Publication date: 7 February 2023
zbMATH Keywords
dynamic complexity; arity hierarchy; parity quantifier
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science