Complexity, Logic, and Recursion Theory"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature." |
Other editions - View all
Common terms and phrases
Ambos-Spies arithmetic Arslanov atoms automorphism automorphism base axiom boolean algebra bounded Büchi automaton coding complete Heyting algebra complexity Computer Science construction Corollary countable defined definition degree structures denote dense Downey e-degrees element enumerable degrees equivalent exists exponential finite set formula free abelian group function f given hence Heyting algebra inductive inference infinite sequence input isomorphic Jockusch Kolmogorov complexity lattice Lemma linear ordering Logic martingale Math nontrivial notation Note NP-complete obtained open sets oracle ordinal notation ordinals poly polynomial polynomial-time problem Proof properties Proposition prove queries question r.e. degree r.e. set randomness Recursion Theory recursive function recursively enumerable reduction reflection principle relation requirements resource-bounded result satisfy Slaman stage strategy strings strong co-points subset Suppose symbol t(n)-generic t(n)-random Theorem tile types topology Turing degrees Turing machine University witness scheme witness-isomorphic
Popular passages
Page 6 - G. Talenti, and E. Vesentini, Partial Differential Equations and Applications: Collected Papers in Honor of Carlo Pucci 1 78. A. Kartsatos, Theory and Applications of Nonlinear Operators of Accretive and Monotone Type 1 79.
Page 4 - P. de Alcantara, Mathematical Logic and Formal Systems 95. C. E. Aull, Rings of Continuous Functions 96. R. Chuaqui, Analysis, Geometry, and Probability 97. L. Fuchs and L. Salce, Modules Over Valuation Domains 98. P.
Page 3 - Localization 42. M. Satyanarayana, Positively Ordered Semigroups 43. D. L Russell, Mathematics of Finite-Dimensional Control Systems 44. P.-T. Liu and E. Roxin, Differential Games and Control Theory III 45.
Page 2 - A Program of Monographs, Textbooks, and Lecture Notes EXECUTIVE EDITORS Earl J. Taft Zuhair Nashed Rutgers University University of Delaware New Brunswick, New Jersey Newark, Delaware EDITORIAL BOARD...
Page 6 - Everitt, and EB Lee, Differential Equations, Dynamical Systems, and Control Science 153. P.-J. Cahen, DL Costa, M. Fontana, and S.-E.
Page 5 - G. Abrams, J. Haefner, and KM Rangaswamy, Methods in Module Theory 141. GL Mullen and PJ-S. Shiue, Finite Fields, Coding Theory, and Advances in Communications and Computing 142. MC Joshi and AV Balakrishnan, Mathematical Theory of Control: Proceedings of the International Conference 143.
Page 4 - Praeger, and R. Sullivan, Algebraic Structures and Applications: Proceedings of the First Western Australian Conference on Algebra 75. L Bican, T. Kepka, and P. Nemec, Rings, Modules, and Preradicals 76. DC Kay and M. Breen, Convexity and Related Combinatorial Geometry: Proceedings of the Second University of Oklahoma Conference 77. P. Fletcher and WF Lindgren, Quasi-Uniform Spaces 78. C.-C. Yang, Factorization Theory of Meromorphic Functions 79.
Page 6 - P. Clement and G. Lumer, Evolution Equations, Control Theory, and Biomathematics 156. M. Gyllenberg and L. Persson, Analysis, Algebra, and Computers in Mathematical Research: Proceedings of the Twenty-First Nordic Congress of Mathematicians 157. WO Bray, PS Mi/ojevit, and CV Stanojevii, Fourier Analysis: Analytic and Geometric Aspects 158.