Back to Search Start Over

Exact Pair Theorem for the ω-Enumeration Degrees.

Authors :
Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Rangan, C. Pandu
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Cooper, S. Barry
Löwe, Benedikt
Sorbi, Andrea
Ganchev, Hristo
Source :
Computation & Logic in the Real World; 2007, p316-324, 9p
Publication Year :
2007

Abstract

In the paper the exact pair theorem for the ω-enumeration degrees is proved. As a corollary an exact pair theorem involving the jump operation for the enumeration degrees is obtained. Mathematics subject classification: 03D30. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISBNs :
9783540730002
Database :
Supplemental Index
Journal :
Computation & Logic in the Real World
Publication Type :
Book
Accession number :
33191459
Full Text :
https://doi.org/10.1007/978-3-540-73001-9_33