Interacting with Modal Logics in the Coq Proof Assistant
-
Altmetric Citations
Collections | ANU Research Publications |
---|---|
Date published: | 2015 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/103842 |
Source: | Lecture Notes in Computer Science (LNCS) |
DOI: | 10.1007/978-3-319-20297-6_25 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Benzmuller_Interacting_with_Modal_Logics_2015.pdf | 325.34 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 23 August 2018/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator