Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. J. deBakker, S. Dana, A theory of programs, unpublished report, August 1969.
2. C. Beeri, An improvement on Valiant's decision procedure for equivalence of deterministic finite-turn pushdown machines, Theoret. Comput. Sci. No (3) (1976) 305–320.
3. On jump deterministic pushdown automata;Courcelle;Math. Systems Theory,1977
4. B. Courcelle, A representation of trees by languages, Theoret. Comput. Sci. 6 (1978) 225–279; 7, 25–55.
5. Variations on the common subexpression problem;Downey;J. ACM,1980