Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: Lecture Notes in Computer Science, cartea 3988
Editat de Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tuckeren Limba Engleză Paperback – 26 iun 2006
Din seria Lecture Notes in Computer Science
- 20% Preț: 1040.03 lei
- 20% Preț: 333.46 lei
- 20% Preț: 335.08 lei
- 20% Preț: 444.17 lei
- 20% Preț: 238.01 lei
- 20% Preț: 333.46 lei
- 20% Preț: 438.69 lei
- Preț: 440.52 lei
- 20% Preț: 336.71 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 632.22 lei
- 17% Preț: 427.22 lei
- 20% Preț: 641.78 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1053.45 lei
- 20% Preț: 579.56 lei
- Preț: 373.56 lei
- 20% Preț: 330.23 lei
- 15% Preț: 429.74 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 389.48 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1386.07 lei
- 20% Preț: 1003.66 lei
- 20% Preț: 567.60 lei
- 20% Preț: 575.48 lei
- 20% Preț: 571.63 lei
- 20% Preț: 747.79 lei
- 15% Preț: 568.74 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 346.40 lei
- 20% Preț: 574.05 lei
- Preț: 402.62 lei
- 20% Preț: 584.40 lei
- 20% Preț: 747.79 lei
- 20% Preț: 809.19 lei
- 20% Preț: 649.49 lei
- 20% Preț: 343.16 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 648.59 lei
Preț vechi: 810.73 lei
-20% Nou
Puncte Express: 973
Preț estimativ în valută:
124.13€ • 128.94$ • 103.11£
124.13€ • 128.94$ • 103.11£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540354666
ISBN-10: 3540354662
Pagini: 632
Ilustrații: XV, 608 p.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.87 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540354662
Pagini: 632
Ilustrații: XV, 608 p.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.87 kg
Ediția:2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.- From Constructibility and Absoluteness to Computability and Domain Independence.- Datatype-Generic Reasoning.- The Logical Strength of the Uniform Continuity Theorem.- Elementary Algebraic Specifications of the Rational Function Field.- Random Closed Sets.- Deep Inference and Its Normal Form of Derivations.- Logspace Complexity of Functions and Structures.- Prefix-Like Complexities and Computability in the Limit.- Partial Continuous Functions and Admissible Domain Representations.- An Invariant Cost Model for the Lambda Calculus.- On the Complexity of the Sperner Lemma.- The Church-Turing Thesis: Consensus and Opposition.- Gödel and the Origins of Computer Science.- The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design.- Turing Universality in Dynamical Systems.- Every Sequence Is Decompressible from a Random One.- Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal.- LJQ: A Strongly Focused Calculus for Intuitionistic Logic.- Böhm Trees, Krivine’s Machine and the Taylor Expansion of Lambda-Terms.- What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem?.- An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability.- Enumeration Reducibility with Polynomial Time Bounds.- Coinductive Proofs for Basic Real Computation.- A Measure of Space for Computing over the Reals.- On Graph Isomorphism for Restricted Graph Classes.- Infinite Time Register Machines.- Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems.- Forcing with Random Variables and Proof Complexity.- Complexity-Theoretic Hierarchies.- Undecidability in theHomomorphic Quasiorder of Finite Labeled Forests.- Lower Bounds Using Kolmogorov Complexity.- The Jump Classes of Minimal Covers.- Space Bounds for Infinitary Computation.- From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials.- Towards a Trichotomy for Quantified H-Coloring.- Two Open Problems on Effective Dimension.- Optimization and Approximation Problems Related to Polynomial System Solving.- Uncomputability Below the Real Halting Problem.- Constraints on Hypercomputation.- Martingale Families and Dimension in P.- Can General Relativistic Computers Break the Turing Barrier?.- Degrees of Weakly Computable Reals.- Understanding and Using Spector’s Bar Recursive Interpretation of Classical Analysis.- A Subrecursive Refinement of the Fundamental Theorem of Algebra.- An Introduction to Program and Thread Algebra.- Fast Quantifier Elimination Means P = NP.- Admissible Representations in Computable Analysis.- Do Noetherian Modules Have Noetherian Basis Functions?.- Inverting Monotone Continuous Functions in Constructive Analysis.- Partial Recursive Functions in Martin-Löf Type Theory.- Partially Ordered Connectives and ?1 1 on Finite Models.- Upper and Lower Bounds for the Computational Power of P Systems with Mobile Membranes.- Gödel’s Conflicting Approaches to Effective Calculability.- Co-total Enumeration Degrees.- Relativized Degree Spectra.- Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions.- Non-deterministic Halting Times for Hamkins-Kidder Turing Machines.- Kurt Gödel and Computability Theory.- A Computability Theory of Real Numbers.- Primitive Recursive Selection Functions over Abstract Algebras.