-
1تقرير
-
2تقرير
-
3تقرير
-
4تقرير
المؤلفون: Czerwiński, Wojciech, Dębski, Maciej, Gogasz, Tomasz, Hoi, Gordon, Jain, Sanjay, Skrzypczak, Michał, Stephan, Frank, Tan, Christopher
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Mathematics - Logic, 03D05, 68Q15, 68Q17, 68Q45
URL الوصول: http://arxiv.org/abs/2302.06435
-
5تقرير
-
6
-
7تقرير
المؤلفون: Czerwiński, Wojciech, Hofman, Piotr
المصدر: LIPIcs, 2022, 243, 16:1--16:22, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2202.08033
-
8تقرير
المؤلفون: Czerwiński, Wojciech, Jędrych, Adam
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
URL الوصول: http://arxiv.org/abs/2105.00052
-
9
-
10تقرير