Theoretical Computer Science and General Issues

Sailing Routes in the World of Computation

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

Editors: Manea, Florin, Miller, Russell G., Nowotka, Dirk (Eds.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-319-94418-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-319-94417-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (42 chapters)

Table of contents (42 chapters)
  • A Journey to Computably Enumerable Structures (Tutorial Lectures)

    Khoussainov, Bakh

    Pages 1-19

  • Polynomial-Time Presentations of Algebraic Number Fields

    Alaev, Pavel (et al.)

    Pages 20-29

  • Multiple Permitting and Array Noncomputability

    Ambos-Spies, Klaus

    Pages 30-39

  • Degrees of Categoricity for Prime and Homogeneous Models

    Bazhenov, Nikolay (et al.)

    Pages 40-49

  • Universality in Freezing Cellular Automata

    Becker, Florent (et al.)

    Pages 50-59

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-319-94418-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-319-94417-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Sailing Routes in the World of Computation
Book Subtitle
14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Editors
  • Florin Manea
  • Russell G. Miller
  • Dirk Nowotka
Series Title
Theoretical Computer Science and General Issues
Series Volume
10936
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-94418-0
DOI
10.1007/978-3-319-94418-0
Softcover ISBN
978-3-319-94417-3
Edition Number
1
Number of Pages
XV, 434
Number of Illustrations
28 b/w illustrations
Topics