Mollusc a general proof-development shell for sequent-based logics

Bradley L Richards, Ina Kraan, Alan Smaill, Geraint A Wiggins

Research output: Book/ReportBook

Fingerprint

Dive into the research topics of 'Mollusc a general proof-development shell for sequent-based logics'. Together they form a unique fingerprint.

Engineering & Materials Science