"Formalization of properties of nondeterministic recursive definitions."

Tsong Yueh Chen (1980)

Details and statistics

DOI: 10.1016/S0020-0255(80)80016-8

access: closed

type: Journal Article

metadata version: 2019-10-19