↓ Skip to main content

Fields of Logic and Computation II

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 $$\textit{K}$$ -trivial, $$\textit{K}$$ -low and $${{\mathrm{\textit{MLR}}}}$$ -low Sequences: A Tutorial
  3. Altmetric Badge
    Chapter 2 Horn Clause Solvers for Program Verification
  4. Altmetric Badge
    Chapter 3 Existential Fixed-Point Logic as a Fragment of Second-Order Logic
  5. Altmetric Badge
    Chapter 4 On the Unpredictability of Individual Quantum Measurement Outcomes
  6. Altmetric Badge
    Chapter 5 The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture
  7. Altmetric Badge
    Chapter 6 Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations
  8. Altmetric Badge
    Chapter 7 Regularity Equals Monadic Second-Order Definability for Quasi-trees
  9. Altmetric Badge
    Chapter 8 Capturing MSO with One Quantifier
  10. Altmetric Badge
    Chapter 9 Logics for Weighted Timed Pushdown Automata
  11. Altmetric Badge
    Chapter 10 Inherent Vacuity in Lattice Automata
  12. Altmetric Badge
    Chapter 11 Is Polynomial Time Choiceless?
  13. Altmetric Badge
    Chapter 12 Arithmetical Congruence Preservation: From Finite to Infinite
  14. Altmetric Badge
    Chapter 13 An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers
  15. Altmetric Badge
    Chapter 14 Logics of Finite Hankel Rank
  16. Altmetric Badge
    Chapter 15 The Strategy of Campaigning
  17. Altmetric Badge
    Chapter 16 On Almost Future Temporal Logics
  18. Altmetric Badge
    Chapter 17 Minsky Machines and Algorithmic Problems
  19. Altmetric Badge
    Chapter 18 On Failure of 0-1 Laws
  20. Altmetric Badge
    Chapter 19 Composition Over the Natural Number Ordering with an Extra Binary Relation
  21. Altmetric Badge
    Chapter 20 The Fundamental Nature of the Log Loss Function
  22. Altmetric Badge
    Chapter 21 Erratum to: The Fundamental Nature of the Log Loss Function
Attention for Chapter 5: The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 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.
Chapter title
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture
Chapter number 5
Book title
Fields of Logic and Computation II
Published by
Springer, Cham, January 2015
DOI 10.1007/978-3-319-23534-9_5
Book ISBNs
978-3-31-923533-2, 978-3-31-923534-9
Authors

Yijia Chen, Jörg Flum