-
1تقرير
المؤلفون: D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul
المصدر: Published at CONCUR 2024
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.19632
-
2تقرير
-
3
-
4تقرير
المؤلفون: Różowski, Wojciech, Kappé, Tobias, Kozen, Dexter, Schmid, Todd, Silva, Alexandra
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory
URL الوصول: http://arxiv.org/abs/2305.01755
-
5