279 citations to https://www.mathnet.ru/rus/sm2805
-
В. Г. Дурнев, О. В. Зеткина, “Некоторые результаты, полученные в Ярославском отделении алгебраической школы М. Д. Гриндлингера”, Чебышевский сб., 15:4 (2014), 5–31
-
Pablo Barceló, Pablo Muñoz, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, 1
-
Volker Diekert, Artur Jeż, Wojciech Plandowski, Lecture Notes in Computer Science, 8476, Computer Science - Theory and Applications, 2014, 1
-
Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche, Lecture Notes in Computer Science, 8370, Language and Automata Theory and Applications, 2014, 186
-
Baader F., Okhotin A., “On Language Equations with One-Sided Concatenation”, Fundam. Inform., 126:1 (2013), 1–35
-
Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, 2013, 114
-
Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013, 104
-
Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li, “Simple linear string constraints”, Form Asp Comp, 2012
-
Kiezun A., Ganesh V., Artzi Sh., Guo Ph.J., Hooimeijer P., Ernst M.D., “Hampi: a Solver for Word Equations Over Strings, Regular Expressions, and Context-Free Grammars”, ACM Trans. Softw. Eng. Methodol., 21:4 (2012), 25
-
Ernest Davis, Advances in Geospatial Technologies, Qualitative Spatio-Temporal Representation and Reasoning, 2012, 97