277 citations to https://www.mathnet.ru/rus/sm2805
-
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukáš Holík, Petr Janků, Lecture Notes in Computer Science, 11781, Automated Technology for Verification and Analysis, 2019, 277
-
А. Н. Непейвода, “Заметка об автоматическом решении квадратичных уравнений в словах”, Программные системы: теория и приложения, 9:2 (2018), 3–21
-
С. И. Адян, “Об исследованиях Геннадия Семёновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196
; S. I. Adian, “On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups”, Russian Math. Surveys, 73:3 (2018), 553–568
-
Anthony W. Lin, Rupak Majumdar, Lecture Notes in Computer Science, 11138, Automated Technology for Verification and Analysis, 2018, 352
-
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu, “What is decidable about string constraints with the ReplaceAll function”, Proc. ACM Program. Lang., 2:POPL (2018), 1
-
Lukáš Holík, Petr Janků, Anthony W. Lin, Philipp Rümmer, Tomáš Vojnar, “String constraints with concatenation and transducers solved efficiently”, Proc. ACM Program. Lang., 2:POPL (2018), 1
-
Lars Kristiansen, Juvenal Murwanashyaka, Lecture Notes in Computer Science, 10936, Sailing Routes in the World of Computation, 2018, 244
-
Quang Loc Le, Mengda He, Lecture Notes in Computer Science, 11275, Programming Languages and Systems, 2018, 350
-
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin, Lecture Notes in Computer Science, 11275, Programming Languages and Systems, 2018, 89
-
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Lecture Notes in Computer Science, 11152, Rewriting Logic and Its Applications, 2018, 98