학술논문
Cyclic Proofs for Arithmetical Inductive Definitions
Document Type
Conference Paper
Author
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. (Leibniz International Proceedings in Informatics, LIPIcs, June 2023, 260)
Subject
Language
English
ISSN
18688969