Browsing by Author Myers, Rob
Showing results 1 to 3 of 3
Coalgebraic hybrid logic
Author(s) | Myers, Rob; Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | March 22-29 2009 |
CoLoSS: The Coalgebraic Logic Satisfiability Solver(System Description)
Author(s) | Calin, Georgel; Myers, Rob; Pattinson, Dirk, et al |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
Hybrid logic with the difference modality for generalisations of graphs
Author(s) | Myers, Rob; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2010 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator