共 50 条
- [31] A second-order theory for NL 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 398 - 407
- [32] Monadic second-order logic and bisimulation invariance for coalgebras Proc Symp Logic Comput Sci, (353-365):
- [33] Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 353 - 365
- [36] Nonlinear second-order impulsive differential problems with dependence on the derivative via variational structure Journal of Fixed Point Theory and Applications, 2020, 22