↓ Skip to main content

Fields of Logic and Computation III

Overview of attention for book
Cover of 'Fields of Logic and Computation III'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 To Yuri at 80 and More than 40 Years of Friendship
  3. Altmetric Badge
    Chapter 2 State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
  4. Altmetric Badge
    Chapter 3 Why Predicative Sets?
  5. Altmetric Badge
    Chapter 4 Functional Thesauri, Classifying Topoi, Unification, and Flatness
  6. Altmetric Badge
    Chapter 5 Parameterized Parallel Computing and First-Order Logic
  7. Altmetric Badge
    Chapter 6 Betweenness in Order-Theoretic Trees
  8. Altmetric Badge
    Chapter 7 Relativization of Gurevich’s Conjectures
  9. Altmetric Badge
    Chapter 8 Seventy Years of Computer Science
  10. Altmetric Badge
    Chapter 9 Convergence and Nonconvergence Laws for Random Expansions of Product Structures
  11. Altmetric Badge
    Chapter 10 Medieval Arabic Notions of Algorithm: Some Further Raw Evidence
  12. Altmetric Badge
    Chapter 11 On the Generalized Membership Problem in Relatively Hyperbolic Groups
  13. Altmetric Badge
    Chapter 12 Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
  14. Altmetric Badge
    Chapter 13 Relativistic Effects Can Be Used to Achieve a Universal Square-Root (Or Even Faster) Computation Speedup
  15. Altmetric Badge
    Chapter 14 Towards Verifying Logic Programs in the Input Language of clingo
  16. Altmetric Badge
    Chapter 15 Computing on Lattice-Ordered Abelian Groups
  17. Altmetric Badge
    Chapter 16 The Expressive Power of Temporal and First-Order Metric Logics
  18. Altmetric Badge
    Chapter 17 Two First-Order Theories of Ordinals
  19. Altmetric Badge
    Chapter 18 Randomness Tests: Theory and Practice
  20. Altmetric Badge
    Chapter 19 On Entropic Convergence of Algorithms
  21. Altmetric Badge
    Chapter 20 The Power of Spreadsheet Computations
  22. Altmetric Badge
    Chapter 21 Non-Algorithmic Theory of Randomness
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
2 Wikipedia pages
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
Fields of Logic and Computation III
Published by
Springer International Publishing, January 2020
DOI 10.1007/978-3-030-48006-6
ISBNs
978-3-03-048005-9, 978-3-03-048006-6
Editors

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

X Demographics

X Demographics

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