Skip to main content
SpringerLink
Log in

Unveiling Dynamics and Complexity

13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Jarkko Kari

    1. University of Turku, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Florin Manea

    1. Christian-Albrechts-University of Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ion Petre

    1. Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10307)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CiE 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Character-Based Phylogeny Construction and Its Application to Tumor Evolution

      • Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto
      Pages 3-13

    3. Is there any Real Substance to the Claims for a ‘New Computationalism’?

      • Alberto Hernández-Espinosa, Francisco Hernández-Quiroz, Héctor Zenil
      Pages 14-23

    4. Formalizing a Fragment of Combinatorics on Words

      • Štěpán Holub, Robert Veroff
      Pages 24-31

    5. Turing’s 1949 Paper in Context

      • Cliff B. Jones
      Pages 32-41

    6. Gödel’s Reception of Turing’s Model of Computability: The “Shift of Perception” in 1934

      • Juliette Kennedy
      Pages 42-49

    7. A Guided Tour to Computational Haplotyping

      • Gunnar W. Klau, Tobias Marschall
      Pages 50-63

    8. Outline of Partial Computability in Computable Topology

      • Margarita Korovina, Oleg Kudinov
      Pages 64-76

    9. Eliminating Unbounded Search in Computable Algebra

      • Alexander G. Melnikov
      Pages 77-87

    10. Computable Transformations of Structures

      • Russell Miller
      Pages 88-97

    11. Formulas with Reversal

      • Narad Rampersad
      Pages 98-100

    12. Compressibility and Probabilistic Proofs

      • Alexander Shen
      Pages 101-111

    13. Delayed-Input Cryptographic Protocols

      • Ivan Visconti
      Pages 112-115

  3. Contributed Papers

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy

      • Stefan Arnold, Jacobo Torán
      Pages 119-128

    3. Counting Substrate Cycles in Topologically Restricted Metabolic Networks

      • Robert D. Barish, Akira Suyama
      Pages 129-140

    4. Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders

      • Nikolay Bazhenov
      Pages 141-151

    5. Degrees of Categoricity of Rigid Structures

      • Nikolay A. Bazhenov, Mars M. Yamaleev
      Pages 152-161

    6. Flexible Indexing of Repetitive Collections

      • Djamal Belazzougui, Fabio Cunial, Travis Gagie, Nicola Prezza, Mathieu Raffinot
      Pages 162-174
Back to top

Other volumes

  1. Unveiling Dynamics and Complexity

Keywords

About this book

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.

Editors and Affiliations

  • University of Turku, Turku, Finland

    Jarkko Kari

  • Christian-Albrechts-University of Kiel, Kiel, Germany

    Florin Manea

  • Åbo Akademi University, Turku, Finland

    Ion Petre

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation