On the Proof Theory of Regular Fixed Points
From MaRDI portal
Publication:3648723
DOI10.1007/978-3-642-02716-1_8zbMath1260.03108OpenAlexW1600124086MaRDI QIDQ3648723
Publication date: 1 December 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00772502/file/baelde09tableaux.pdf
Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
Cut elimination for a logic with induction and co-induction ⋮ Cyclic Arithmetic Is Equivalent to Peano Arithmetic ⋮ Unnamed Item
This page was built for publication: On the Proof Theory of Regular Fixed Points
