Recursion Theory and Computational Complexity [electronic resource] /edited by G. Lolli.
by Lolli, G [editor.]; SpringerLink (Online service).
Material type:
BookSeries: C.I.M.E. Summer Schools: 79Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: 236p. 6 illus. online resource.ISBN: 9783642110726.Subject(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsDDC classification: 511.3 Online resources: Click here to access online
Contents:
In:
Springer eBooksSummary: 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 recursion theory.
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 recursion theory.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA370-380 Numerical Analysis of Partial Differential Equations | QA641-670 Geometry of Homogeneous Bounded Domains | QA370-380 Wave Propagation | QA8.9-10.3 Recursion Theory and Computational Complexity | QA329-329.9 Pseudo-differential Operators | QA273.A1-274.9 Stochastic Differential Equations | QA8.9-10.3 Aspects of Mathematical Logic |
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 recursion theory.
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 recursion theory.
There are no comments for this item.