Search
Add filters:
Use filters to refine the search results.
Results 1-7 of 7 (Search time: 0.001 seconds).
- previous
- 1
- next
Item hits:
First Published | Title | Author(s) | Type |
---|---|---|---|
31-Jul-2012 | Completeness for the coalgebraic cover modality | Kupke, Clemens; Kurz, Alexander; Venema, Yde | Journal Article |
12-Sep-2012 | Strongly complete logics for coalgebras | Kurz, Alexander; Rosicky, Jiri | Journal Article |
22-Sep-2015 | Positive Fragments Of Coalgebraic Logics | Balan, A.; Kurz, Alexander Herbert; Velebil, J. | Journal Article |
7-Aug-2015 | Presenting Distributive Laws | Bonsangue, M. M.; Hansen, H. H.; Kurz, Alexander Herbert; Rot, J. | Journal Article |
29-Oct-2015 | Relation lifting, a survey | Kurz, Alexander; Velebil, J. | Journal Article |
2-Oct-2015 | Relating two automata-based models of orchestration and choreography | Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. | Journal Article |
20-Jun-2017 | On sessions and infinite data | Severi, Paula; Padovani, Luca; Tuosto, Emilio; Dezani-Ciancaglini, Mariangiola | Journal Article |
Filter
Keyword