Author:
Bauderon Michel,Courcelle Bruno
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,General Mathematics,Theoretical Computer Science,Computational Theory and Mathematics,Theoretical Computer Science
Reference34 articles.
1. Arnold, A., and Dauchet M., Théorie des magmoïdes,RAIRO Inform. Théor.,12 (1978), 235–257.
2. Bauderon M., On infinite graphs defined by equations, Research Report, Bordeaux I University (to appear).
3. Bloom, S., Elgot, C., and Wright J., Solutions to the iteration equation and extensions of the scalar iteration operation,SIAM J. Comput.,9 (1980), 25–45.
4. Courcelle, B., Fundamental properties of infinite trees,Theoret. Comput. Sci.,25 (1983), 95–169.
5. Courcelle, B., Equivalences and transformations of regular systems. Applications to recursive program schemes and grammars,Theoret. Comput. Sci.,46 (1986), 1–122.
Cited by
187 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the power of local graph expansion grammars with and without additional restrictions;Theoretical Computer Science;2024-11
2. Generating Semantic Graph Corpora with Graph Expansion Grammar;Electronic Proceedings in Theoretical Computer Science;2023-09-15
3. Monoidal Width;Logical Methods in Computer Science;2023-09-04
4. Monoidal Width: Capturing Rank Width;Electronic Proceedings in Theoretical Computer Science;2023-08-07
5. Exact Recursive Probabilistic Programming;Proceedings of the ACM on Programming Languages;2023-04-06