共 50 条
- [23] Exercises in coalgebraic specification ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2297 : 237 - 280
- [24] A coalgebraic semantics of subtyping RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (01): : 61 - 81
- [26] Coalgebraic Predicate Logic AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
- [27] Coalgebraic Correspondence Theory FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 328 - +
- [28] Coalgebraic Symbolic Semantics ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 173 - 190
- [29] A coalgebraic view on reachability COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 605 - 638