Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
2. Bellin, G., Fleury, A.: Planar and braided proof-nets for MLL with mix. Archive for Mathematical Logic 37, 309–325 (1998)
3. Bellin, G., Scott, P.: On the π-calculus and linear logic. TCS 135, 11–65 (1994)
4. Braibant, T., Pous, D.: Coq library: ATBR, algebraic tools for binary relations (May 2009),
http://sardes.inrialpes.fr/~braibant/atbr/
5. Lecture Notes in Computer Science;T. Braibant,2010
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Causal Equivalence by Tracing in String Rewriting;Electronic Proceedings in Theoretical Computer Science;2023-04-01
2. Kleene Algebra with Tests and Coq Tools for while Programs;Interactive Theorem Proving;2013
3. Typing theorems of omega algebra;The Journal of Logic and Algebraic Programming;2012-08
4. Untyping Typed Algebras and Colouring Cyclic Linear Logic;Logical Methods in Computer Science;2012-06-20
5. Deciding Kleene Algebras in Coq;Logical Methods in Computer Science;2012-03-02