Terminating general recursion
Year: 1988
Type: article
Source: BIT Numerical Mathematics
DOI: 10.1007/bf01941137
Author: Bengt Nordström
Institutions: Chalmers University of Technology, University of Gothenburg
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2035324774