scientific article; zbMATH DE number 1059242

MaRDI QIDQ4353557zbMATH OpenFDO

Authors Ronald Fagin

Publication date 10 September 1997

zbMATH Keywords

inexpressibilityEhrenfeucht-Fraïssé-games

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Recommendations

• On winning Ehrenfeucht games and monadic NP
• On winning strategies in Ehrenfeucht-Fraïssé games
• On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)
• scientific article; zbMATH DE number 1136084

Cited in

(9)

• Verifiable properties of database transactions
• Locality and modular Ehrenfeucht-Fraïssé games
• How to win a game with features
• Game-based notions of locality over finite models
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• Existential MSO over two successors is strictly weaker than over linear orders
• An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
• Comparing the Power of Games on Graphs
• Solutions and query rewriting in data exchange

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353557)