Author:
Holub Štěpán,Veroff Robert
Publisher
Springer International Publishing
Reference14 articles.
1. Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)
2. Culik II, K., Karhumäki, J.: On the equality sets for homomorphisms on free monoids with two generators. RAIRO ITA 14(4), 349–369 (1980)
3. Czeizler, E., Holub, Š., Karhumäki, J., Laine, M.: Intricacies of simple word equations: An example. Int. J. Found. Comput. Sci. 18(6), 1167–1175 (2007)
4. Fine, N.J., Wilf, H.S.: Uniqueness theorems for periodic functions. Proc. Am. Math. Soc. 16(1), 109–109 (1965)
5. Hadravová, J.: Structure of equality sets. Ph.D. thesis, Charles University (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lyndon Words Formalized in Isabelle/HOL;Developments in Language Theory;2021