Related Books

Subrecursive Programming Systems
Language: en
Pages: 253
Authors: James S. Royer, John Case
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Books about Subrecursive Programming Systems
Subrecursive Programming Systems
Language: en
Pages: 252
Authors: James S. Royer, John Case
Categories: Computer programming
Type: BOOK - Published: 1994-01-01 - Publisher:

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our
Global Dynamics of the Earth
Language: en
Pages: 329
Authors: Roberto Sabadini, Bert Vermeersen
Categories: Science
Type: BOOK - Published: 2004-04-30 - Publisher: Springer Science & Business Media

This volume opens up new perspectives on the physics of the Earth's interior for graduate students and researchers working in the fields of geophysics and geodesy. It looks at our planet in an integrated fashion, linking the physics of its interior to the geophysical and geodetic techniques that record, over
Proceedings of the 13th Asian Logic Conference
Language: en
Pages: 252
Authors: Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu
Categories: Mathematics
Type: BOOK - Published: 2015-03-05 - Publisher: World Scientific

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics. Contents:An Analogy Between Cardinal Characteristics and Highness Properties of Oracles
Complexity Theory Retrospective
Language: en
Pages: 234
Authors: Alan L. Selman
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

In 1965 Juris Hartmanis and Richard E. Stearns published a paper "On the Computational Complexity of Algorithms". The field of complexity theory takes its name from this seminal paper and many of the major concepts and issues of complexity theory were introduced by Hartmanis in subsequent work. In honor of