↓ Skip to main content

Pursuit of the Universal

Overview of attention for book
Cover of 'Pursuit of the Universal'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verifying Systems of Resource-Bounded Agents
  3. Altmetric Badge
    Chapter 2 Effective S -adic Symbolic Dynamical Systems
  4. Altmetric Badge
    Chapter 3 Reaction-Based Models of Biochemical Networks
  5. Altmetric Badge
    Chapter 4 Comparative Genomics on Artificial Life
  6. Altmetric Badge
    Chapter 5 Computability and Analysis, a Historical Approach
  7. Altmetric Badge
    Chapter 6 The Brouwer Fixed Point Theorem Revisited
  8. Altmetric Badge
    Chapter 7 Secret Sharing Schemes with Algebraic Properties and Applications
  9. Altmetric Badge
    Chapter 8 Squeezing Feasibility
  10. Altmetric Badge
    Chapter 9 Recent Advances in Non-perfect Secret Sharing Schemes
  11. Altmetric Badge
    Chapter 10 A Computational Approach to the Borwein-Ditor Theorem
  12. Altmetric Badge
    Chapter 11 Semantic Security and Key-Privacy with Random Split of St-Gen Codes
  13. Altmetric Badge
    Chapter 12 The Typical Constructible Object
  14. Altmetric Badge
    Chapter 13 Computability in Symbolic Dynamics
  15. Altmetric Badge
    Chapter 14 Using Semidirect Product of (Semi)groups in Public Key Cryptography
  16. Altmetric Badge
    Chapter 15 Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
  17. Altmetric Badge
    Chapter 16 Ergodicity of Noisy Cellular Automata: The Coupling Method and Beyond
  18. Altmetric Badge
    Chapter 17 Types in Programming Languages, Between Modelling, Abstraction, and Correctness
  19. Altmetric Badge
    Chapter 18 AFCAL and the Emergence of Computer Science in France: 1957–1967
  20. Altmetric Badge
    Chapter 19 Computable Reductions and Reverse Mathematics
  21. Altmetric Badge
    Chapter 20 Busy Beavers and Kolmogorov Complexity
  22. Altmetric Badge
    Chapter 21 The Domino Problem for Self-similar Structures
  23. Altmetric Badge
    Chapter 22 Axiomatizing Analog Algorithms
  24. Altmetric Badge
    Chapter 23 Generalized Effective Reducibility
  25. Altmetric Badge
    Chapter 24 Lightface $$\mathop {\varPi }\nolimits _{3}^{0}$$ Π 3 0 -Completeness of Density Sets Under Effective Wadge Reducibility
  26. Altmetric Badge
    Chapter 25 Program Size Complexity of Correction Grammars in the Ershov Hierarchy
  27. Altmetric Badge
    Chapter 26 Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
  28. Altmetric Badge
    Chapter 27 Parameterized Complexity and Approximation Issues for the Colorful Components Problems
  29. Altmetric Badge
    Chapter 28 A Candidate for the Generalised Real Line
  30. Altmetric Badge
    Chapter 29 Finitely Generated Semiautomatic Groups
  31. Altmetric Badge
    Chapter 30 The Boolean Algebra of Piecewise Testable Languages
  32. Altmetric Badge
    Chapter 31 On the Lattices of Effectively Open Sets
  33. Altmetric Badge
    Chapter 32 On the Executability of Interactive Computation
  34. Altmetric Badge
    Chapter 33 Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic
  35. Altmetric Badge
    Chapter 34 The Complexity of Counting Quantifiers on Equality Languages
  36. Altmetric Badge
    Chapter 35 Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q
  37. Altmetric Badge
    Chapter 36 Partial Orders and Immunity in Reverse Mathematics
  38. Altmetric Badge
    Chapter 37 A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
11 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
5 Mendeley
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.
Title
Pursuit of the Universal
Published by
Springer International Publishing, June 2016
DOI 10.1007/978-3-319-40189-8
ISBNs
978-3-31-940188-1, 978-3-31-940189-8
Editors

Beckmann, Arnold, Bienvenu, Laurent, Jonoska, Nataša

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.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 40%
Student > Ph. D. Student 1 20%
Unknown 2 40%
Readers by discipline Count As %
Mathematics 1 20%
Chemistry 1 20%
Unknown 3 60%