共 50 条
- [3] Fixpoint Games on Continuous Lattices PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
- [5] Games for Topological Fixpoint Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 46 - 60
- [7] On one combinatorial lemma Proceedings of the Steklov Institute of Mathematics, 2011, 272 : 186 - 196
- [8] On one combinatorial lemma TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2010, 16 (01): : 244 - 254