Ehrenfeucht–Fraïssé Games on Linear Orders
type: Item
instance of: scholarly article
title: Ehrenfeucht–Fraïssé Games on Linear Orders
zbMATH Open document ID: 1211.03056
DOI: 10.1007/978-3-540-73445-1_6
author: Ryan Bissell-Siders
published in: Logic, Language, Information and Computation
publication date: 2009-03-10T00:00:00Z
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 5527399
zbMATH Keywords: Ehrenfeucht-Fraïssé game
zbMATH Keywords: semimodel
zbMATH Keywords: decision procedure
zbMATH Keywords: linear order
zbMATH Keywords: completion
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-540-73445-1 6
OpenAlex ID: W1589510625
Recommended article: EHRENFEUCHT-FRAÏSSÉ GAMES ON A CLASS OF SCATTERED LINEAR ORDERS
Recommended article: Ehrenfeucht-Fraïssé games on ordinals
Recommended article: Ehrenfeucht-Fraïssé games in finite set theory
Recommended article: Q4835609
Recommended article: Ehrenfeucht-Fraïssé Games on Random Structures
Recommended article: Ehrenfeucht-Fraisse Games on Omega-Terms
Recommended article: Q3509083
Recommended article: On Complexity of Ehrenfeucht-Fraïssé Games
Recommended article: On complexity of Ehrenfeucht-Fraïssé games
Recommended article: Games and Lindström theorems
description: scientific article