Recursion Theory Week e-bog
260,50 DKK
(inkl. moms 325,62 DKK)
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
E-bog
260,50 DKK
Forlag
Springer
Udgivet
14 november 2006
Genrer
PBC
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9783540471424
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.