-
1تقرير
مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Mathematics - Combinatorics
الوصول الحر: http://arxiv.org/abs/1910.07305Test
-
2تقرير
المؤلفون: Kojima, Kensuke
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms, Mathematics - Category Theory, F.2.0, E.1, F.3.1
الوصول الحر: http://arxiv.org/abs/1806.10261Test
-
3تقرير
المؤلفون: Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro
مصطلحات موضوعية: Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/1709.00314Test
-
4تقرير
المؤلفون: Kojima, Kensuke, Kinoshita, Minoru, Suenaga, Kohei
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation, Computer Science - Software Engineering, F.3.1, F.3.2
الوصول الحر: http://arxiv.org/abs/1604.07201Test