Author:
Lohrey Markus,Ondrusch Nicole
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference49 articles.
1. The word problem for inverse monoids presented by one idempotent relator;Birget;Theoretical Computer Science,1994
2. Confluent and other types of Thue systems;Book;Journal of the Association for Computing Machinery,1982
3. The word problem;Boone;Annals of Mathematics,1959
4. S.R. Buss, Alogtime algorithms for tree isomorphism, comparison, and canonization, in: Kurt Gödel Colloquium 97, 1997, pp. 18–33.
5. La théorie monadique du second ordre du monoïde inversif libre est indécidable (the second-order monadic theory of the free inverse monoid is undecidable);Calbrix;Bulletin of the Belgian Mathematical Society,1997
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献