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)

Projects

Finished