Conflict nets: efficient locally canonical MALL proof nets

Dominic Hughes, Willem Heijltjes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)
94 Downloads (Pure)

Fingerprint Dive into the research topics of 'Conflict nets: efficient locally canonical MALL proof nets'. Together they form a unique fingerprint.

Mathematics