Basing Sequent Systems on Exclusive-Or

Arnon Avron^*

^*Corresponding author for this work

School of Computer Science and AI

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Sort by

Keyphrases