BOOK-CHAPTER
Ehrenfeucht-Fraïssé Games
Keywords:
Mathematical proof Expressive power Context (archaeology) Computer science Mathematics Order (exchange) Discrete mathematics Theoretical computer science Geography
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
18
Refs
0.36
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Advanced Topology and Set Theory
Physical Sciences → Mathematics → Geometry and Topology
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Ehrenfeucht-Fraïssé Games
Journal: Encyclopedia of Database Systems Year: 2009 Pages: 963-964
JOURNAL ARTICLE
Weak Ehrenfeucht-Fraïssé games
Journal: Transactions of the American Mathematical Society Year: 2011 Vol: 363 (6)Pages: 3309-3334
JOURNAL ARTICLE
Ehrenfeucht-Fraïssé games without identity
Journal: The Australasian Journal of Logic Year: 2021 Vol: 18 (1)Pages: 25-28
JOURNAL ARTICLE
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games
Guillermo BadíaDaniel GăinăAlexander KnappTomasz KowalskiMartin Wirsing
Journal: ACM Transactions on Computational Logic Year: 2025 Vol: 26 (4)Pages: 1-25