Merkzettel Warenkorb
  • Produktbild: Logical Approaches to Computational Barriers
  • Produktbild: Logical Approaches to Computational Barriers

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Aus der Reihe Lecture Notes in Computer Science

96,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2006

Herausgeber

Arnold Beckmann + weitere

Verlag

Springer Berlin

Seitenzahl

608

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

1930 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-35466-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2006

Herausgeber

Verlag

Springer Berlin

Seitenzahl

608

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

1930 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-35466-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logical Approaches to Computational Barriers
  • Produktbild: Logical Approaches to Computational Barriers
  • 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 the Homomorphic 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.