Cited By
View all- Engelfriet J(2005)Simple program schemes and formal languagesSimple Program Schemes and Formal Languages10.1007/3-540-06953-4_1(1-254)Online publication date: 25-May-2005
- Kozen D(1979)Semantics of probabilistic programsProceedings of the 20th Annual Symposium on Foundations of Computer Science10.1109/SFCS.1979.38(101-114)Online publication date: 29-Oct-1979
- Rosen B(1972)Program equivalence and context-free grammarsProceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972)10.1109/SWAT.1972.18(7-18)Online publication date: 25-Oct-1972