On Quadratic Word Equations-Reference-Cited by-同舟云学术

On Quadratic Word Equations

Published:1999 Issue: Volume: Page:217-226
ISSN:0302-9743
Container-title:STACS 99
language:
Short-container-title:

Author:

Robson John Michael,Diekert Volker

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49116-3_20

Reference24 articles.

1. Habib Abdulrab and Jean-Pierre Pécuchet. Solving word equations. J. Symbolic Computation, 8(5):499–521, 1990.

2. Lect. Notes Comp. Sci,1993

3. Thierry Arnoux. Untersuchungen zum Makaninschen Algorithmus. Diplomarbeit 1613, Universität Stuttgart, 1998.

4. Christian Choffrut and Juhani Karhumäki. Combinatorics of words. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, Vol. 1, pages 329–438. Springer-Verlag, Berlin, Heidelberg, New York, 1997.

5. Volker Diekert. Makanin’s Algorithm. In Jean Berstel and Dominique Perrin, editors, Algebraic Combinatorics on Words. Cambridge University Press. A preliminary version is on the web: http://www-igm.univ-mlv.fr/ berstel/Lothaire/index.html .

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Z3-Noodler: An Automata-based String Solver;Lecture Notes in Computer Science;2024

2. Document Spanners - A Brief Overview of Concepts, Results, and Recent Developments;Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2022-06-12

3. Word Equations in the Context of String Solving;Developments in Language Theory;2022

4. On the structure of solution-sets to regular word equations;Theory of Computing Systems;2021-10-28

5. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving;Programming Languages and Systems;2020