Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abramson, F., "Interpolation theorems for program schemata", Information & Control, 36, February 1978.
2. Brown, Gries, and Szymanski, "Program schemes with pushdown stores", SIAM on Computing, 1, 242–268, 1972.
3. Constable, R.C. and Gries, D., "On classes of program schemata", SIAM. J. On Computing, 1, 66–118, 1972.
4. Engeler, E., "Algorithmic properties of structures", Math. Systems Theory, 1, 183–195, 1967.
5. Engeler, E., "Algorithmic logic" in Foundations of Computer Science, ed. J.W. de Bakker, Mathematical Centre Trace, 63, 57–85, Amsterdam 1975.