Evolving Computability

11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

AvArnold Beckmann,Victor Mitrana

Häftad, Engelska, 2015

Del 9136 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings.

Produktinformation

Utgivningsdatum:2015-06-09
Mått:155 x 235 x 21 mm
Vikt:575 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:363
Förlag:Springer International Publishing AG
ISBN:9783319200279

Utforska kategorier

Innehållsförteckning

Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt.- Error and predicativity.- Is Human Mind Fully Algorithmic? Remarks on Kurt Godel's Incompleteness Theorems.- A New Approach to the Paperfolding Sequences.- Covering the Recursive Sets.- On Distributed Monitoring and Synthesis.- Newton's Forward Difference Equation for Functions from Words to Words.- Degrees of unsolvability: a tutorial.- Universality in Molecular and Cellular Computing.- Some results on interactive proofs for real computations.- Prime Model with No Degree of Autostability Relative to Strong Constructivizations.- Immune Systems in Computer Virology.- ITRM-Recognizability from Random Oracles.- Systems with Parallel Rewriting for Chain Code Picture Languages.- Base-Complexity Classifications of QCB0-Spaces (Extended Abstract).- Maximal Vector Spaces form an Automorphism Basis.- New Bounds on Optimal Sorting Networks.- Nonexistence of Minimal Pairs in L[d].- Intuitionistic Provability versus Uniform Provability in RCA.- Randomness and Differentiability of Convex Functions.- Weighted automata on infinite words in the context of Attacker-Defender games.- Turing jumps through provability.- Rice's Theorem in Effectively Enumerable Topological Spaces.- Decidability of Termination Problems for Sequential P Systems with Active Membranes.- Weihrauch degrees of finding equilibria in sequential games.- Prefix and Right-Partial Derivative Automata.- A Note on the Computable Categoricity of l^p Spaces.- n the Computational Content of Termination Proofs.- Local compactness for computable Polish metric spaces is $\Pi^1_1$-complete.- Iterative forcing and hyperimmunity in reverse mathematics.- Completely regular Bishop spaces.- Computing Equality-Free String Factorisations.- Towards the Effective Descriptive Set Theory.- On Computability of Navier-Stokes' Equation.- Undecidability as a Consequence of Incompleteness.- How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems.