Computational expressivity of (circular) proofs with fixed points

DOI10.1109/LICS56636.2023.10175772MaRDI QIDQ6851673zbMATH OpenFDO

Authors Gianluca Curzi, Anupam Das

Publication date 27 February 2026

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Computational expressivity of (circular) proofs with fixed points

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