Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12098)
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 2020.
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 (34 papers)
-
Front Matter
About this book
The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory.
Keywords
- artificial intelligence
- automata theory
- communication systems
- computational linguistics
- computer hardware
- computer networks
- computer science
- computer systems
- databases
- engineering
- formal languages
- formal logic
- graph theory
- internet
- linguistics
- mathematics
- network protocols
- semantics
- signal processing
- theoretical computer science
Editors and Affiliations
-
University of Salerno, Fisciano, Italy
Marcella Anselmo
-
University of Milano-Bicocca, Milan, Italy
Gianluca Della Vedova
-
University of Göttingen, Göttingen, Germany
Florin Manea
-
Swansea University, Swansea, UK
Arno Pauly
Bibliographic Information
Book Title: Beyond the Horizon of Computability
Book Subtitle: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Editors: Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-51466-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-51465-5Published: 24 June 2020
eBook ISBN: 978-3-030-51466-2Published: 23 June 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXXVII, 379
Number of Illustrations: 21 b/w illustrations
Topics: Theory of Computation, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Mathematics of Computing, Information Systems and Communication Service, Artificial Intelligence
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications