1976
Recursive program schemes: semantics and proof theory
Publication
Publication
Additional Metadata | |
---|---|
Centrum Voor Wiskunde en Informatica | |
MC Tracts | |
de Roever, W. P. (1976). Recursive program schemes: semantics and proof theory. MC Tracts. Centrum Voor Wiskunde en Informatica. |