Theodoros Papamakarios

From MaRDI portal
Person:6168322

Available identifiers

zbMath Open papamakarios.theodorosMaRDI QIDQ6168322

List of research outcomes





PublicationDate of PublicationType
A super-polynomial separation between resolution and cut-free sequent calculus2024-12-03Paper
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems2024-06-24Paper
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems2023-07-10Paper

Research outcomes over time

This page was built for person: Theodoros Papamakarios

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