Article,

The Structure of Loop Programs and Subrecursive Hierarchies.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews