Filtrer vos résultats
- 8
- 4
- 5
- 3
- 3
- 1
- 10
- 4
- 2
- 1
- 2
- 2
- 2
- 2
- 1
- 12
- 9
- 9
- 2
- 2
- 1
- 1
- 12
- 6
- 1
- 1
- 1
- 1
- 1
12 résultats
|
|
|
triés par
|
|
|
Logic beyond formulas: a proof system on graphsLICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩
Communication dans un congrès
hal-02560105v1
|
||
|
|
On Combinatorial Proofs for Modal LogicTABLEAUX 2019 - 28t International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. pp.223-240, ⟨10.1007/978-3-030-29026-9_13⟩
Communication dans un congrès
hal-02390400v1
|
||
|
|
An Analytic Propositional Proof System On GraphsLogical Methods in Computer Science, 2022, 18 (4), ⟨10.46298/LMCS-18(4:1)2022⟩
Article dans une revue
hal-03087392v2
|
||
|
|
Generalized connectives for multiplicative linear logicCSL 2020 - 28th EACSL annual conference on Computer Science Logic, Jan 2020, Barcelona, Spain. pp.6:1-6:15, ⟨10.4230/LIPIcs.CSL.2020.6⟩
Communication dans un congrès
hal-02492258v1
|
||
|
|
A complete proof of coherence for symmetric monoidal categories using rewriting2016
Pré-publication, Document de travail
hal-01374400v1
|
||
|
|
From Syntactic Proofs to Combinatorial ProofsInternational Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9
Chapitre d'ouvrage
hal-01942275v1
|
||
|
|
Combinatorial Proofs for Constructive Modal LogicAiML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France
Communication dans un congrès
hal-03909538v1
|
||
|
|
On Combinatorial Proofs for Logics of Relevance and EntailmentWoLLIC 2019 - 26th International Workshop on Logic, Language, Information, and Computation, Jul 2019, Utrecht, Netherlands. pp.1-16, ⟨10.1007/978-3-662-59533-6_1⟩
Communication dans un congrès
hal-02390426v1
|
||
|
|
Towards a Denotational Semantics for Proofs in Constructive Modal Logic2021
Pré-publication, Document de travail
hal-03201439v1
|
||
|
|
Proof Diagrams for Multiplicative Linear Logic: Syntax and SemanticsJournal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9466-4⟩
Article dans une revue
hal-01931400v1
|
||
|
|
Proof diagrams for multiplicative linear logicElectronic Proceedings in Theoretical Computer Science, 2017, Proceedings Fourth International Workshop on Linearity 238
Article dans une revue
hal-01374398v1
|
||
|
|
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics2017
Pré-publication, Document de travail
hal-01452678v1
|