Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Strictness analysis and polymorphic invariance;Abramsky,1985
2. The Design and Analysis of Computer Algorithms;Aho,1974
3. Un théorème de duplication pour les forêts algébriques;Arnold;J. Comput System Sci.,1976
4. Forêts algébriques et homomorphismes inverses;Arnold;Inform. and Control,1978
5. Une proprieté des forêts algébriques ‘de Greibach’;Arnold;Inform. and Control,1980
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Redundant argument filtering of logic programs;Logic Program Synthesis and Transformation;1997