Cyclic Proofs for Arithmetical Inductive Definitions (2024)
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.FSCD.2023.27
Type: Conference/Paper/Proceeding/Abstract
Volume: 260