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

• Autorzy: Tourlakis, G.
• Języki publikacji: EN

Abstrakty

EN

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

Słowa kluczowe

EN

computability; type-2 computability; oracles; p-normality

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 1
• Strony: 83-91
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Tourlakis, G.

• Department of Computer science York University Toronto, Canada,