Browsing by Author Hou, Zhe
Showing results 3 to 4 of 4
Labelled sequent calculi and automated reasoning for assertions in separation logic
Author(s) | Hou, Zhe |
---|---|
Type | Thesis (PhD) |
Date Published | 2015 |
Date Created | - |
Proof Search for Propositional Abstract Separation Logics via Labelled Sequents
Author(s) | Hou, Zhe; Clouston, Ranald; Gore, Rajeev, et al |
---|---|
Type | Conference paper |
Date Published | 2014 |
Date Created | January 22-24 2014 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator