Deciding first-order properties of locally tree-decomposable structures
type: Item
instance of: scholarly article
title: Deciding first-order properties of locally tree-decomposable structures
zbMATH Open document ID: 1323.03014
DOI: 10.1145/504794.504798
author: Markus Frick
author: Martin Grohe
published in: Journal of the ACM
publication date: 2015-10-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/cs/0004007
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 05C05
Mathematics Subject Classification ID: 05C75
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6502277
zbMATH Keywords: first-order logic
zbMATH Keywords: locality
zbMATH Keywords: model checking
zbMATH Keywords: parameterized complexity
zbMATH Keywords: planar graphs
zbMATH Keywords: query evaluation
zbMATH Keywords: tree-width
MaRDI profile type: Publication
OpenAlex ID: W1993920925
arXiv ID: cs/0004007
Wikidata QID: Q127770703
description: scientific article