Author:
Courcelle Bruno,Guessarian Irène
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference21 articles.
1. Decidable properties of monadic functional schemas;Ashcroft;J. Assoc. Comput. Mach.,1973
2. Models and Ultraproducts;Bell,1971
3. Program equivalence and canonical forms in stable discrete interpretations;Berry,1976
4. Lattice Theory;Birkhoff,1967
5. R. Burstall, Proving properties of programs by structural induction, Comput. J. 12, 41–48.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献