1993 | ReviewPaper | Buchkapitel
On the Ehrenfeucht-Fraïssé game in theoretical computer science
Extended abstract
verfasst von : Wolfgang Thomas
Erschienen in: TAPSOFT'93: Theory and Practice of Software Development
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
An introduction to (first-order) Ehrenfeucht-Fraïssé games is presented, and three applications in theoretical computer science are discussed. These are concerned with the expressive power of first-order logic over graphs, formal languages definable in first-order logic, and modal logic over labelled transition systems.