Exponential Gaps Between Intuitionistic Linear Extended Frege Systems

From MaRDI portal

MaRDI QIDQ7343610arXivFDO

Authors Amirhossein Akbar Tabatabai

Publication date 2026

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Exponential Gaps Between Intuitionistic Linear Extended Frege Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7343610)

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