Editors:
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)
Conference series link(s): CiE: Conference on Computability in Europe
Conference proceedings info: CiE 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (42 papers)
-
Front Matter
About this book
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.
Keywords
- analysis of algorithms
- automata theory
- computational complexity
- design of algorithms
- differential equations
- formal languages
- formal logic
- models of computation
- numerical methods
- problem solving
- project management
- sat solvers
- satisfiability
- scheduling algorithms
- software engineering
- theorem proving
- Turing machines
Editors and Affiliations
-
Kiel University, Kiel, Germany
Florin Manea, Dirk Nowotka
-
Queens College, CUNY, Queens, USA
Russell G. Miller
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-94418-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-94417-3Published: 05 July 2018
eBook ISBN: 978-3-319-94418-0Published: 23 July 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 434
Number of Illustrations: 28 b/w illustrations
Topics: Math Applications in Computer Science, Numeric Computing, Theory of Computation, Management of Computing and Information Systems