( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Expressive Power of String Constraints.

, , , и . Proc. ACM Program. Lang., 7 (POPL): 278-308 (января 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Catalina-Oana Manea

Gheorghe Manea

Andrei Manea

Marilena Manea

Laura Manea

 

Другие публикации лиц с тем же именем

Finding Pseudo-repetitions., , , , и . STACS, том 20 из LIPIcs, стр. 257-268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)The Hardness of Solving Simple Word Equations., , и . MFCS, том 83 из LIPIcs, стр. 18:1-18:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Preface., , , и . Journal of Automata, Languages and Combinatorics, 22 (1-3): 3-4 (2017)Accepting Networks of Splicing Processors with Filtered Connections., , , и . MCU, том 4664 из Lecture Notes in Computer Science, стр. 218-229. Springer, (2007)A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors., , , и . Theory Comput. Syst., 46 (2): 174-192 (2010)Longest Gapped Repeats and Palindromes., , и . CoRR, (2015)Square-Density Increasing Mappings., и . WORDS, том 9304 из Lecture Notes in Computer Science, стр. 160-169. Springer, (2015)Equations Enforcing Repetitions Under Permutations., , , и . WORDS, том 10432 из Lecture Notes in Computer Science, стр. 72-84. Springer, (2017)Hairpin Completion Versus Hairpin Reduction., и . CiE, том 4497 из Lecture Notes in Computer Science, стр. 532-541. Springer, (2007)On the Solvability Problem for Restricted Classes of Word Equations., , и . DLT, том 9840 из Lecture Notes in Computer Science, стр. 306-318. Springer, (2016)