TY - BOOK
T1 - Computability and Complexity
T2 - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
AU - Day, Andrew
AU - Fellows, Michael
AU - Greenberg, N.
AU - Khoussainov, B.
AU - Melnikov, A.
AU - Rosamond, Frances
PY - 2017
Y1 - 2017
N2 - This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computably enumerable sets, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized complexity, all areas in which Rod Downey has had significant interests and influence. The volume contains several surveys that make the various areas accessible to non-specialists while also including some proofs that illustrate the flavor of the fields.
AB - This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computably enumerable sets, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized complexity, all areas in which Rod Downey has had significant interests and influence. The volume contains several surveys that make the various areas accessible to non-specialists while also including some proofs that illustrate the flavor of the fields.
U2 - 10.1007/978-3-319-50062-1
DO - 10.1007/978-3-319-50062-1
M3 - Edited Book
T3 - Lecture Notes in Computer Science
BT - Computability and Complexity
PB - Springer
ER -