A Logical Calculus for Modelling Interferences

DOI10.1007/978-3-540-75292-9_15zbMath1147.03310OpenAlexW1482656429MaRDI QIDQ3525086

Christophe Fouqueré

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_15

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: A Logical Calculus for Modelling Interferences