Benedikt Pago

From MaRDI portal
Person:4625691

Available identifiers

zbMath Open pago.benediktMaRDI QIDQ4625691

List of research outcomes





PublicationDate of PublicationType
Lower bounds for choiceless polynomial time via symmetric XOR-circuits2024-12-03Paper
Finite model theory and proof complexity revisited: distinguishing graphs in choiceless polynomial time and the extended polynomial calculus2024-09-25Paper
https://portal.mardi4nfdi.de/entity/Q51111952020-05-26Paper
A finite-model-theoretic view on propositional proof complexity2019-02-25Paper

Research outcomes over time

This page was built for person: Benedikt Pago

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4625691&oldid=30926407"
Powered by MediaWiki