scientific article; zbMATH DE number 7204319

DOI10.4230/LIPIcs.CSL.2017.27zbMath1434.03132MaRDI QIDQ5111195

Erich Grädel, Wied Pakusa, Benedikt Pago

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

resolutionpropositional proof systemspolynomial calculusgeneralized quantifiersfixed-point logics

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of proofs (03F20)

Related Items (1)

Unnamed Item

This page was built for publication: