277 citations to https://www.mathnet.ru/rus/sm2805
-
Juhani Karhumäki, Aleksi Saarela, “On maximal chains of systems of word equations”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 130–136
; Proc. Steklov Inst. Math., 274 (2011), 116–123
-
Casals-Ruiz M., Kazachkov I., “On Systems of Equations Over Free Partially Commutative Groups”, Mem. Am. Math. Soc., 212:999 (2011), 1+
-
Casals-Ruiz M., Kazachkov I.V., “On Systems of Equations Over Free Products of Groups”, J. Algebra, 333:1 (2011), 368–426
-
Klima O., Polak L., “Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups”, Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement, Lecture Notes in Computer Science, 7020, eds. Kuich W., Rahonis G., Springer-Verlag Berlin, 2011, 214–227
-
J. Levy, M. Schmidt-Schauss, M. Villaret, “On the complexity of Bounded Second-Order Unification and Stratified Context Unification”, Logic Journal of the IGPL, 2010
-
Temur Kutsia, Jordi Levy, Mateu Villaret, “On the relation between Context and Sequence Unification”, Journal of Symbolic Computation, 45:1 (2010), 74
-
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari, “Context unification with one context variable”, Journal of Symbolic Computation, 45:2 (2010), 173
-
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau, “Anti-patterns for rule-based languages”, Journal of Symbolic Computation, 45:5 (2010), 523
-
В. Г. Дурнев, О. В. Зеткина, “Об уравнениях с подполугрупповыми ограничениями на решения в свободных полугруппах”, Чебышевский сб., 11:3 (2010), 78–87
-
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger, Hagenberg Research, 2010, 63