Author:
Carayol Arnaud,Wöhrle Stefan
Publisher
Springer Berlin Heidelberg
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Shelah-Stupp’s and Muchnik’s Iterations Revisited;Computer Science – Theory and Applications;2021
2. Extensions of the Caucal Hierarchy?;Language and Automata Theory and Applications;2019
3. Unfolding of Finite Concurrent Automata;Electronic Proceedings in Theoretical Computer Science;2018-10-04
4. Collapsible Pushdown Automata and Recursion Schemes;ACM Transactions on Computational Logic;2017-07-31
5. Rewriting Higher-Order Stack Trees;Theory of Computing Systems;2017-05-02