Publications Home » A Unified Compilation Style Label...
A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction
Krysia Broda, Alessandra Russo
- Technical Report
- 1997
- Imperial College London, Department of Computing
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.