Article Dans Une Revue
Journal of Automated Reasoning
Année : 2018
Matteo Acclavio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01931400
Soumis le : jeudi 22 novembre 2018-17:17:36
Dernière modification le : jeudi 1 août 2024-17:08:02
Dates et versions
Identifiants
- HAL Id : hal-01931400 , version 1
- ARXIV : 1702.00268
- DOI : 10.1007/s10817-018-9466-4
Citer
Matteo Acclavio. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9466-4⟩. ⟨hal-01931400⟩
Collections
34
Consultations
0
Téléchargements