Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Beyond the horizon of computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings / Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly (eds.).

This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in...

Full description

Saved in:
Bibliographic Details
Corporate Author: Conference on Computability in Europe Online
Other Authors: Anselmo, Marcella, Della Vedova, Gianluca, Manea, Florin, Pauly, Arno
Format: eBook
Language:English
Published: Cham : Springer, 2020.
Series:Lecture notes in computer science ; 12098.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Computable functions > Congresses.
Computer science > Mathematics > Congresses.
Computer science > Mathematics
Computable functions
Algorithms
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • A Note on Computable Embeddings for Ordinals and Their Reverses
  • Clockability for Ordinal Turing Machines
  • Some notes on spaces of ideals and computable topology
  • Parallelizations in Weihrauch reducibility and constructive reverse mathematics
  • Liouville Numbers and the Computational Complexity of Changing Bases
  • On Interpretability between some weak essential undecidable theories
  • On the Complexity of Conversion between Classic Real Number Representations
  • Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power
  • Computable analysis and classification problems
  • Non-coding enumeration operators
  • On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
  • An interactive proof system for Program extraction
  • ASNP: a tame fragment of existential second-order logic
  • Ackermannian Goodstein sequences of intermediate growth
  • On the complexity of validity degrees in Łukasiewicz logic
  • Degrees of non-computability of homeomorphism types of Polish spaces
  • Time-aware uniformization of winning strategies
  • Quantitative Representation Theory of Compact Metric Spaces
  • Functions of Baire class one over a Bishop topology
  • Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences
  • The Computational Significance of Hausdorff's Maximal Chain Principle
  • Prefix of trace languages: clique polynomials and dependency graphs
  • Repetitions in Toeplitz words and the Thue threshold
  • Simulation of automata networks
  • Theoretical and Implementation Aspects of the Formal Language Server (LaSer)
  • Balancing Straight-Line Programs for Strings and Trees
  • Two-dimensional codes
  • Formal Languages in Graph Databases and Information Extraction
  • On the perceptron's compression
  • #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method
  • Faster Online Computation of th e Succinct Longest Previous Factor Array
  • Recent advances in text-to-pattern distance algorithms
  • Insertion-Deletion Systems With Substitutions: The Context-free Case.

Similar Items