Author:
Gyenizse Pál,Vágvölgyi Sándor
Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. String-Rewriting Systems;Book,1993
2. Tree generating regular systems;Brainerd;Inform and Control,1969
3. Decidability of reachability for disjoint union of term rewriting systems;Caron;Theoret. Comput. Sci.,1994
4. Bottom-up tree pushdown automata: classification and connection with rewrite systems;Coquidé;Theoret. Comput. Sci.,1994
5. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems;Dauchet;Inform. and Control,1990
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献