From syntactic proofs to combinatorial proofs, International Joint Conference on Automated Reasoning, pp.481-497, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01942275
Entailment, the Logic of Relvance and Necessity, vol.1, 1975. ,
, The Logic of Relevance and Necessity, vol.II, 2017.
Display logic, Journal of Philosophical Logic, vol.11, pp.375-417, 1982. ,
A decision procedure for the system e? of entailmengt with negation, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, vol.11, pp.277-289, 1965. ,
A local system for classical logic, LPAR 2001. LNAI, vol.2250, pp.347-361, 2001. ,
The relative efficiency of propositional proof systems, The Journal of Symbolic Logic, vol.44, issue.1, pp.36-50, 1979. ,
Topology of series-parallel networks, Journal of Mathematical Analysis and Applications, vol.10, issue.2, pp.303-318, 1965. ,
Untersuchungenüber das logische Schließen. I, Mathematische Zeitschrift, vol.39, pp.176-210, 1935. ,
Non-commutativity and MELL in the calculus of structures, Computer Science Logic, CSL 2001, vol.2142, pp.54-68, 2001. ,
, Proofs Without Syntax, vol.164, pp.1065-1076, 2006.
Towards Hilbert's 24 th problem: Combinatorial proof invariants: (preliminary version), Electr. Notes Theor. Comput. Sci, vol.165, pp.37-63, 2006. ,
Relevant analytic tableaux, Studia Logica, vol.38, issue.2, pp.187-200, 1979. ,
Computationally tractable classes of ordered sets, pp.105-194, 1989. ,
Handsome proof-nets: perfect matchings and cographs, Theoretical Computer Science, vol.294, issue.3, pp.473-488, 2003. ,
A characterisation of medial as rewriting rule, Term Rewriting and Applications, RTA'07, vol.4533, pp.344-358, 2007. ,
Combinatorial flows and their normalisation, 2nd International Conference on Formal Structures for Computation and Deduction, vol.84, pp.1-31, 2017. ,