Skip to main content
SpringerLink
Log in

Sailing Routes in the World of Computation

14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Florin Manea

    1. Kiel University, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Russell G. Miller

    1. Queens College, CUNY, Queens, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dirk Nowotka

    1. Kiel University, Kiel, Germany

    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 10936)

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

Included in the following conference series:

Conference proceedings info: CiE 2018.

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 (42 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  2. A Journey to Computably Enumerable Structures (Tutorial Lectures)

    • Bakh Khoussainov
    Pages 1-19

  3. Polynomial-Time Presentations of Algebraic Number Fields

    • Pavel Alaev, Victor Selivanov
    Pages 20-29

  4. Multiple Permitting and Array Noncomputability

    • Klaus Ambos-Spies
    Pages 30-39

  5. Degrees of Categoricity for Prime and Homogeneous Models

    • Nikolay Bazhenov, Margarita Marchuk
    Pages 40-49

  6. Universality in Freezing Cellular Automata

    • Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier
    Pages 50-59

  7. A Deontic Logic Reasoning Infrastructure

    • Christoph Benzmüller, Xavier Parent, Leendert van der Torre
    Pages 60-69

  8. Optimized Program Extraction for Induction and Coinduction

    • Ulrich Berger, Olga Petrovska
    Pages 70-80

  9. Computing Tree Width: From Theory to Practice and Back

    • Sebastian Berndt
    Pages 81-88

  10. Using Structural Properties for Integer Programs

    • Sebastian Berndt, Kim-Manuel Klein
    Pages 89-96

  11. From Eventually Different Functions to Pandemic Numberings

    • Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies
    Pages 97-106

  12. Divide and Conquer Computation of the Multi-string BWT and LCP Array

    • Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Yuri Pirola, Marco Previtali, Raffaella Rizzi
    Pages 107-117

  13. Some Observations on Infinitary Complexity

    • Merlin Carl
    Pages 118-125

  14. Taming Koepke’s Zoo

    • Merlin Carl, Sabrina Ouazzani, Philip Welch
    Pages 126-135

  15. Online Computability and Differentiation in the Cantor Space

    • Douglas Cenzer, Diego A. Rojas
    Pages 136-145

  16. Turing’s Vision and Deep Learning

    • Martin Davis
    Pages 146-155

  17. Computing and Scheduling with Explorable Uncertainty

    • Thomas Erlebach
    Pages 156-160

  18. Diminishable Parameterized Problems and Strict Polynomial Kernelization

    • Henning Fernau, Till Fluschnik, Danny Hermelin, Andreas Krebs, Hendrik Molter, Rolf Niedermeier
    Pages 161-171

  19. New Nonterminal Complexity Results for Semi-conditional Grammars

    • Henning Fernau, Lakshmanan Kuppusamy, Rufus O. Oladele
    Pages 172-182

  20. Kernelization Lower Bounds for Finding Constant-Size Subgraphs

    • Till Fluschnik, George B. Mertzios, André Nichterlein
    Pages 183-193
Back to top

Other volumes

  1. Sailing Routes in the World of Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.

The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving.

Editors and Affiliations

  • Kiel University, Kiel, Germany

    Florin Manea, Dirk Nowotka

  • Queens College, CUNY, Queens, USA

    Russell G. Miller

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation