scientific article; zbMATH DE number 1059242

zbMath0880.68058MaRDI QIDQ4353557

Ronald Fagin

Publication date: 10 September 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inexpressibilityEhrenfeucht-Fraïssé-games

Mathematics Subject Classification ID

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

Related Items (6)

Existential MSO over two successors is strictly weaker than over linear orders ⋮ An Ehrenfeucht-Fraïssé game approach to collapse results in database theory ⋮ Solutions and query rewriting in data exchange ⋮ Locality and modular Ehrenfeucht-Fraïssé games ⋮ Game-based notions of locality over finite models ⋮ Verifiable properties of database transactions

This page was built for publication: