Recursion Theory and Computational Complexity
S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursio...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Lolli, G. (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2011.
|
Σειρά: | C.I.M.E. Summer Schools ;
79 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Έκδοση: (2014) -
Advances in Proof Theory
Έκδοση: (2016) -
Model Theory An Introduction /
ανά: Marker, David
Έκδοση: (2002) -
Institution-independent Model Theory
ανά: Diaconescu, Răzvan
Έκδοση: (2008) -
Set Theory Exploring Independence and Truth /
ανά: Schindler, Ralf
Έκδοση: (2014)