Computing Publications

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.