[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Twenty Years of Theoretical and Practical Synergies

20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Ludovic Levy Patey

    1. The Mathematics Institute of Jussieu, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elaine Pimentel

    1. University College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lorenzo Galeotti

    1. University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Florin Manea

    1. University of Göttingen, Göttingen, 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 14773)

Included in the following conference series:

Conference proceedings info: CiE 2024.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 129.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 64.99
Price includes VAT (United Kingdom)
  • 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

About this book

This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during  July 8–12, 2024

The 26 full papers and 2 short papers included in this book were carefully reviewed and selected from 43 submissions. This CIE 2024 focus on development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences.

Keywords

Table of contents (35 papers)

  1. Front Matter

    Pages i-xxxix
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. If CiE Did Not Exist, It Would Be Necessary to Invent It

      • S. Barry Cooper
      Pages 3-9

    3. Some Open Questions and Recent Results on Computable Banach Spaces

      • Rod Downey, Noam Greenberg, Long Qian
      Pages 10-26

    4. Kolmogorov Complexity as a Combinatorial Tool

      • Alexander Shen
      Pages 27-31

    5. Cellular Automata: Communication Matters

      • Martin Kutrib, Andreas Malcher
      Pages 32-43

    6. Membership Problems in Infinite Groups

      • M. Lohrey
      Pages 44-59

    7. Communication Modalities

      • Roman Kuznets
      Pages 60-71

    8. Algorithmic Aspects of Left-Orderings of Solvable Baumslag–Solitar Groups via its Dynamical Realization

      • Meng-Che “Turbo” Ho, Khanh Le, Dino Rossegger
      Pages 72-84

    9. Hybrid Maximal Filter Spaces

      • David Gonzalez
      Pages 85-99

    10. Inversion in P-Computable Fields

      • Pavel Alaev
      Pages 100-109

  3. Regular Papers

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. On the Computational Properties of Weak Continuity Notions

      • Sam Sanders
      Pages 113-125

    3. On Arithmetical Numberings in Reverse Mathematics

      • Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
      Pages 126-138

    4. Two-Player Domino Games

      • Benjamin Hellouin de Menibus, Rémi Pallen
      Pages 139-152

    5. Almost Sure OTM-Realizability

      • Merlin Carl
      Pages 153-165

    6. Learning Families of Algebraic Structures from Text

      • Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev
      Pages 166-178

    7. Structures of Finite Punctual Dimension \(n>2\)

      • Ellen Hammatt
      Pages 179-191

    8. Counting Simple Rules in Semi-conditional Grammars is not Simple

      • Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
      Pages 192-204

    9. Universal Boolean Algebras with Applications to Semantic Classes of Models

      • Mikhail Peretyat’kin, Victor Selivanov
      Pages 205-217
Back to top

Other volumes

  1. Twenty Years of Theoretical and Practical Synergies

Editors and Affiliations

  • The Mathematics Institute of Jussieu, Paris, France

    Ludovic Levy Patey

  • University College London, London, UK

    Elaine Pimentel

  • University of Amsterdam, Amsterdam, The Netherlands

    Lorenzo Galeotti

  • University of Göttingen, Göttingen, Germany

    Florin Manea

Bibliographic Information

  • Book Title: Twenty Years of Theoretical and Practical Synergies

  • Book Subtitle: 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings

  • Editors: Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-64309-5

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024

  • Softcover ISBN: 978-3-031-64308-8Published: 02 July 2024

  • eBook ISBN: 978-3-031-64309-5Published: 01 July 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXXIX, 462

  • Number of Illustrations: 21 b/w illustrations, 10 illustrations in colour

  • Topics: Algorithms

Publish with us

Policies and ethics

Back to top

Search

Navigation