Author:
Lamarche François,Straßburger Lutz
Publisher
Springer Berlin Heidelberg
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combinatorial Flows as Bicolored Atomic Flows;Logic, Language, Information, and Computation;2022
2. Proof Nets for Classical Logic;Notre Dame Journal of Formal Logic;2021-05-01
3. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2019-01-21
4. A multi-focused proof system isomorphic to expansion proofs;Journal of Logic and Computation;2014-06-06
5. Proof Nets for Herbrand’s Theorem;ACM Transactions on Computational Logic;2013-02