Computability and Complexity

Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Nonfiction, Computers, Advanced Computing, Theory, General Computing, Programming
Cover of the book Computability and Complexity by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319500621
Publisher: Springer International Publishing Publication: November 30, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319500621
Publisher: Springer International Publishing
Publication: November 30, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Talking Bodies by
Cover of the book Advanced Robotics for Medical Rehabilitation by
Cover of the book Water Policy in the Philippines by
Cover of the book GeNeDis 2016 by
Cover of the book Fracture at all Scales by
Cover of the book Managing Data From Knowledge Bases: Querying and Extraction by
Cover of the book Multi-Agent Systems by
Cover of the book Quantitative Psychology by
Cover of the book Ovarian Cancer in Elderly Patients by
Cover of the book High Performance Computing by
Cover of the book Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference by
Cover of the book Change of Time Methods in Quantitative Finance by
Cover of the book Digital Preservation: Putting It to Work by
Cover of the book Calculations on nonlinear optical properties for large systems by
Cover of the book Umbilical Cord Blood Banking and Transplantation by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy