-
1تقرير
المؤلفون: Lisitsa, Alexei, Nemytykh, Andrei P.
المصدر: EPTCS 341, 2021
مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Programming Languages, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/2109.02001
-
2
-
3تقرير
المؤلفون: Lisitsa, Alexei, Nemytykh, Andrei
المصدر: EPTCS 299, 2019
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1908.06723
-
4تقرير
المؤلفون: Lisitsa, Alexei P., Nemytykh, Andrei P.
المصدر: EPTCS 253, 2017, pp. 54-74
URL الوصول: http://arxiv.org/abs/1708.09002
-
5تقرير
المؤلفون: Lisitsa, Alexei, Nemytykh, Andrei P., Proietti, Maurizio
المصدر: EPTCS 253, 2017
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/1708.06887
-
6تقرير
المؤلفون: Lisitsa, Alexei P., Nemytykh, Andrei P.
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/1705.06738
-
7تقرير
المؤلفون: Hamilton, Geoff, Lisitsa, Alexei, Nemytykh, Andrei P.
المصدر: EPTCS 216, 2016
URL الوصول: http://arxiv.org/abs/1607.01835
-
8تقرير
المؤلفون: Lisitsa, Alexei P., Nemytykh, Andrei P.
المصدر: EPTCS 199, 2015, pp. 15-32
URL الوصول: http://arxiv.org/abs/1512.03859
-
9تقرير
المؤلفون: Lisitsa, Alexei, Nemytykh, Andrei P., Pettorossi, Alberto
المصدر: EPTCS 199, 2015
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering
URL الوصول: http://arxiv.org/abs/1512.02215
-
10تقرير