Author:
Monti Angelo,Peron Adriano
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. J.R. Büchi, On a decision method in restricted second order arithmetic, in: Proc. Internat. Congress on Logic, Methodology and Philosophy of Science, Stanford Univ. Press, Stanford, 1960, pp. 1–11.
2. Systolic tree acceptors;Culik II;R.A.I.R.O Informatique Théorique,1984
3. Decidability and undecidability of extensions of second (first) order theory of (generalized) successor;Elgot;J. Symbol. Logic,1966
4. E.A. Emerson, C.D. Lei, Modalities for model checking: branching time strikes back, in: Proc. 12th ACM Symp. on Principles of Programming Languages, New Orleans, 1985, pp. 84–96.
5. Synthesis, structure and power of systolic computations;Gruska;Theoret. Comput. Sci.,1990
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献