Skip to main content
SpringerLink
Log in

Unity of Logic and Computation

19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Gianluca Della Vedova

    1. University of Milano-Bicocca, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Besik Dundua

    1. Kutaisi International University, Kutaisi, Georgia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Steffen Lempp

    1. University of Wisconsin, Madison, USA

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

Included in the following conference series:

Conference proceedings info: CiE 2023.

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
$34.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 USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. 

The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.

Keywords

Table of contents (23 papers)

  1. Front Matter

    Pages i-li
    Download chapter PDF

  2. Degree Theory

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Cupping Computably Enumerable Degrees Simultaneously

      • Hong Hanh Tran, Guohua Wu
      Pages 3-16

    3. The Relationship Between Local and Global Structure in the Enumeration Degrees

      • Mariya I. Soskova
      Pages 17-22

    4. Direct Construction of Scott Ideals

      • Russell Miller
      Pages 23-34

  3. Proof Theory

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. The Non-normal Abyss in Kleene’s Computability Theory

      • Sam Sanders
      Pages 37-49

    3. A Constructive Picture of Noetherian Conditions and Well Quasi-orders

      • Gabriele Buriola, Peter Schuster, Ingo Blechschmidt
      Pages 50-62

  4. Computability

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Symmetry for Transfinite Computability

      • Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
      Pages 65-76

    3. All Melodies Are Lost – Recognizability for Weak and Strong \(\alpha \)-Register Machines

      • Merlin Carl
      Pages 77-88

    4. De Groot Duality for Represented Spaces

      • Takayuki Kihara, Arno Pauly
      Pages 89-101

  5. Algorithmic Randomness

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Some Games on Turing Machines and Power from Random Strings

      • Alexey Milovanov
      Pages 105-119

    3. Inequalities for Entropies and Dimensions

      • Alexander Shen
      Pages 120-131

  6. Computational Complexity

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. Elementarily Traceable Irrational Numbers

      • Keita Hiroshima, Akitoshi Kawamura
      Pages 135-140

    3. Logic vs Topology on Regular \(\omega \)-languages

      • Vladislav Orekhovskii, Victor Selivanov
      Pages 141-153

    4. Subrecursive Graphs of Representations of Irrational Numbers

      • Ivan Georgiev
      Pages 154-165

    5. On the Complexity of Learning Programs

      • Vasco Brattka
      Pages 166-177
Back to top

Other volumes

  1. Unity of Logic and Computation

Editors and Affiliations

  • University of Milano-Bicocca, Milan, Italy

    Gianluca Della Vedova

  • Kutaisi International University, Kutaisi, Georgia

    Besik Dundua

  • University of Wisconsin, Madison, USA

    Steffen Lempp

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

    Florin Manea

Bibliographic Information

  • Book Title: Unity of Logic and Computation

  • Book Subtitle: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

  • Editors: Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-36978-0

  • 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 2023

  • Softcover ISBN: 978-3-031-36977-3Published: 19 July 2023

  • eBook ISBN: 978-3-031-36978-0Published: 18 July 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: LI, 297

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

  • Topics: Algorithms

Publish with us

Policies and ethics

Back to top

Search

Navigation