On the parameterized intractability of monadic second-order logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1238.68067
DOI: 10.2168/LMCS-8(1:27)2012
author: Stephan Kreutzer
published in: Logical Methods in Computer Science
publication date: 2012-04-03T00:00:00Z
full work available at URL: https://arxiv.org/abs/1203.3167
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6021344
zbMATH Keywords: parameterized complexity
zbMATH Keywords: algorithmic meta-theorems
zbMATH Keywords: finite model theory
MaRDI profile type: Publication
arXiv ID: 1203.3167
title: On the parameterized intractability of monadic second-order logic
description: scientific article; zbMATH DE number 6021344