Author:
Choffrut Christian,Karhumäki Juhani
Publisher
Springer Berlin Heidelberg
Reference162 articles.
1. H. Abdulrab, Résolution d’équations en mots: étude et implémentation LISP de l’algorithme de Makanin, Ph.D. Thesis, Université de Rouen, 1987.
2. Lecture Notes in Computer Science;H Abdulrab,1991
3. J. Albert, K. Culik II and J. Karhumäki, Test sets for context-free languages and algebraic systems of equations in a free monoid, Inform. Control 52, 172–186, 1982.
4. M. H. Albert and J. Lawrence, A proof of Ehrenfeucht’s Conjecture, Theoret. Comput. Sci. 41, 121–123, 1985.
5. M. H. Albert and J. Lawrence, The descending chain condition on solution sets for systems of equations in groups, Proc. Edinburg Math. Soc. 29, 69–73, 1985.
Cited by
155 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On a Test of Square-Free Morphisms;RAIRO - Theoretical Informatics and Applications;2024
2. Deciding Conjugacy of a Rational Relation;Lecture Notes in Computer Science;2024
3. Infinite Spike Trains in Spiking Neural P Systems;Romanian Journal of Information Science and Technology;2023-09-28
4. Binary Codes that do not Preserve Primitivity;Journal of Automated Reasoning;2023-07-18
5. Extended-cycle integrals of modular functions for badly approximable numbers;Research in Number Theory;2023-06-19