Mechanising cut-elimination for display logic [electronic resource] / Jeremy E. Dawson and Rajeev Go...
Mechanising cut-elimination for display logic [electronic resource] / Jeremy E. Dawson and Rajeev Gore.
About this item
Full title
Author / Creator
Publisher
[Canberra] : Australian national University, Dept. of Computer Science, 2001.
Date
2001.
Record Identifier
MMS ID
Language
English
Formats
Publication information
Publisher
[Canberra] : Australian national University, Dept. of Computer Science, 2001.
Series
Place of Publication
Australian Capital Territory
Date Published
2001.
Subjects
More information
Alternative Titles
Full title
Mechanising cut-elimination for display logic [electronic resource] / Jeremy E. Dawson and Rajeev Gore.
Authors, Artists and Contributors
Author / Creator
Notes
General note
Joint computer science technical report series (Online) ; TR-CS-01-02.
"June 2001".
Title from pdf file title screen (viewed on 221 May 2003).
Includes bibliographic references.
System details note
Mode of access: Internet via World Wide Web. Available at: http://cs.anu.edu.au/techreports/2001/TR-CS-01-02.pdf.
System requirements: Adobe Acrobat reader to access the document in PDF format.
Issued by note
Published jointly by the Dept. of Computer Science, Faculty of Engineering and Information Technology, and the Computer Sciences Laboratory, Research School of Information Sciences and Engineering, the Australian National University.
Contextual Information
Related resource (online)
Identifiers
Primary Identifiers
Record Identifier
74Vvx8zkXMp3
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74Vvx8zkXMp3
Other Identifiers
DDC
004
MMS ID
991016845429702626
