Tree-width for first order formulae
type: Item
instance of: scholarly article
title: Tree-width for first order formulae
zbMATH Open document ID: 1238.68083
DOI: 10.2168/LMCS-8(1:32)2012
author: Isolde Adler
author: Mark Weyer
published in: Logical Methods in Computer Science
publication date: 2012-04-03T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6021349
zbMATH Keywords: treewidth
zbMATH Keywords: model checking
zbMATH Keywords: conjunctive queries
zbMATH Keywords: quantified constraint formulae
zbMATH Keywords: first-order logic
zbMATH Keywords: elimination-width
zbMATH Keywords: cops-and-robbers game
MaRDI profile type: Publication
full work available at URL: lmcs-8(1:32)2012
OpenAlex ID: W2064076717
description: scientific article; zbMATH DE number 6021349