Browsing by Author Cirstea, Corina
Showing results 1 to 3 of 3
EXPTIME tableaux for the coalgebraic u-calculus
Author(s) | Cirstea, Corina; Kupke, Clemens; Pattinson, Dirk |
---|---|
Type | Conference paper |
Date Published | 2009 |
Date Created | September 7-11 2009 |
Exptime tableaux for the coalgebraic μ-calculus
Author(s) | Cirstea, Corina; Kupke, C.; Pattinson, Dirk |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
Modal logics are coalgebraic
Author(s) | Cirstea, Corina; Kurz, Alexander; Pattinson, Dirk, et al |
---|---|
Type | Journal article |
Date Published | 2011 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator