Nominal Logic with Equations Only
Download (147.09 kB)
-
Altmetric Citations
Collections | ANU Research Publications |
---|---|
Date published: | 2011 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/37316 |
Source: | Proceedings of 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) |
DOI: | 10.4204/EPTCS.71.4 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Clouston_Nominal_Logic_with_Equations_2011.pdf | 147.09 kB | Adobe PDF | ![]() |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 19 May 2020/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator