Some Formal Properties of a Class of Non-Deterministic Program Schemata

Takayasu Ito

Browse the full FOCS paper archive.