Conflict nets

DOI10.1145/2933575.2934559zbMath1395.03037OpenAlexW2488003724WikidataQ130878622 ScholiaQ130878622MaRDI QIDQ4635901

Willem Heijltjes, Dominic J. D. Hughes

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2934559

zbMATH Keywords

linear logicproof netsmultiplicative-additive linear logicMALL

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Conflict nets