共 50 条
- [5] Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 353 - 365
- [7] Monadic second-order logic and bisimulation invariance for coalgebras Proc Symp Logic Comput Sci, (353-365):
- [9] A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors COALGEBRAIC METHODS IN COMPUTER SCIENCE, 2016, 9608 : 156 - 173
- [10] Logic programndng with ordered disjunction EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 100 - 105