Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Equational languages;Blikle;Inform. and Control,1972
2. Program derivation by fixed point computation;Cai;Sci. Comput. Programming,1989
3. Equivalence and transformation of regular systems: application to recursive program schemes and grammars;Courcelle;Theoret. Comput. Sci.,1986
4. On context free sets of graphs and their monadic second order theory;Courcelle,1987
5. Recursive applicative program schemes;Courcelle,1990
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献