Embedding Display Calculi into Logical Frameworks
Loading...
Date
Authors
Dawson, Jeremy
Gore, Rajeev
Journal Title
Journal ISSN
Volume Title
Publisher
Australian National University
Abstract
Description
Keywords
Citation
Collections
Source
AWCL-2000