ANU Open Research Repository has been upgraded. We are still working on a few minor issues, which may result in short outages throughout the day. Please get in touch with repository.admin@anu.edu.au if you experience any issues.
 

Embedding Display Calculi into Logical Frameworks

Date

2000

Authors

Dawson, Jeremy
Gore, Rajeev

Journal Title

Journal ISSN

Volume Title

Publisher

Australian National University

Abstract

Description

Keywords

Citation

Source

AWCL-2000

Type

Conference paper

Book Title

Entity type

Access Statement

License Rights

DOI

Restricted until