@dblp

The Structure of Loop Programs and Subrecursive Hierarchies.

, and . Math. Log. Q., 26 (14-18): 255-278 (1980)

Links and resources

Tags