Non-Uniform Complexity via Non-Wellfounded Proofs (2023)
Attributed to:
Structure vs. Invariants in Proofs (StrIP)
funded by
FLF
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://doi.org/10.4230/LIPIcs.CSL.2023.16
Type: Conference/Paper/Proceeding/Abstract
Volume: 252