↓ Skip to main content
What is this page? Embed badge

Unity of Logic and Computation

Overview of attention for book
Cover of 'Unity of Logic and Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Cupping Computably Enumerable Degrees Simultaneously
  3. Altmetric Badge
    Chapter 2 The Relationship Between Local and Global Structure in the Enumeration Degrees
  4. Altmetric Badge
    Chapter 3 Direct Construction of Scott Ideals
  5. Altmetric Badge
    Chapter 4 The Non-normal Abyss in Kleene’s Computability Theory
  6. Altmetric Badge
    Chapter 5 A Constructive Picture of Noetherian Conditions and Well Quasi-orders
  7. Altmetric Badge
    Chapter 6 Symmetry for Transfinite Computability
  8. Altmetric Badge
    Chapter 7 All Melodies Are Lost – Recognizability for Weak and Strong $$\alpha $$ α -Register Machines
  9. Altmetric Badge
    Chapter 8 De Groot Duality for Represented Spaces
  10. Altmetric Badge
    Chapter 9 Some Games on Turing Machines and Power from Random Strings
  11. Altmetric Badge
    Chapter 10 Inequalities for Entropies and Dimensions
  12. Altmetric Badge
    Chapter 11 Elementarily Traceable Irrational Numbers
  13. Altmetric Badge
    Chapter 12 Logic vs Topology on Regular $$\omega $$ ω -languages
  14. Altmetric Badge
    Chapter 13 Subrecursive Graphs of Representations of Irrational Numbers
  15. Altmetric Badge
    Chapter 14 On the Complexity of Learning Programs
  16. Altmetric Badge
    Chapter 15 The Complexity of Finding Supergraphs
  17. Altmetric Badge
    Chapter 16 Extending Wagner’s Hierarchy to Deterministic Visibly Pushdown Automata
  18. Altmetric Badge
    Chapter 17 On Guarded Extensions of MMSNP
  19. Altmetric Badge
    Chapter 18 Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics
  20. Altmetric Badge
    Chapter 19 Structural Complexity of Rational Interactive Proofs
  21. Altmetric Badge
    Chapter 21 Graph Subshifts
  22. Altmetric Badge
    Chapter 22 Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games
  23. Altmetric Badge
    Chapter 23 An $$O(\sqrt{k})$$ O ( k ) -Approximation Algorithm for Minimum Power k Edge Disjoint st -Paths
Attention for Chapter 8: De Groot Duality for Represented Spaces
Altmetric Badge

Mentioned by

twitter
11 X users
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
De Groot Duality for Represented Spaces
Chapter number 8
Book title
Unity of Logic and Computation
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-36978-0_8
Book ISBNs
978-3-03-136977-3, 978-3-03-136978-0
Authors

Kihara, Takayuki, Pauly, Arno

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 11 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.