Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

From MaRDI portal
Publication:6533124


MaRDI QIDQ6533124arXivFDO

Authors Bahareh Afshari, Johannes Kloibhofer














This page was built for publication: Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic

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

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