You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal

Article type: Research Article

Authors: Tourlakis, George

Affiliations: Department of Computer Science, York University, Toronto, Canada

Abstract: We show that computability in a type-2 object is p-normal if type-1 partial inputs are computed by ``well-behaved oracles''.

Keywords: Computability, type-2 computability, oracles, p-normality

Journal: Fundamenta Informaticae, vol. 48, no. 1, pp. 83-91, 2001

Received 9 November 2001
|
Accepted 9 November 2001
|
Published: 2001
Price: EUR 27.50
Show more