Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference16 articles.
1. Formal computations of non-deterministic recursive programs;Arnold;Math. Systems Theory,1980
2. Adherences of Languages;Boasson;J. Comput. System Sci.,1980
3. Sémantique opérationelle et algébrique des programmes récursifs non deterministes;Boudol;Thèse d'Etat à l'Université de Paris VII,1980
4. On a decision method in restricted second order arithmetic;Büchi,1960
5. The representation of trees by languages II;Courcelle;Theoret. Comput. Sci.,1978
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献