-
1تقرير
المؤلفون: Jung, Jean Christoph, Kołodziejski, Jędrzej
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70
URL الوصول: http://arxiv.org/abs/2406.01497
-
2تقرير
المؤلفون: Kołodziejski, Jędrzej, Klin, Bartek
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.1.1
URL الوصول: http://arxiv.org/abs/2208.00536
-
3
المؤلفون: Kołodziejski, Jędrzej, Klin, Bartek
مصطلحات موضوعية: FOS: Computer and information sciences, Theory of computation → Automata over infinite objects, automata, F.4.1, F.1.1, Theory of computation → Modal and temporal logics, countdown μ-calculus, Logic in Computer Science (cs.LO), games
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::668a5f0be5feeac38e21784ebffd89fa