Backtracking games and inflationary fixed points
type: Item
instance of: scholarly article
title: Backtracking games and inflationary fixed points
zbMATH Open document ID: 1128.91013
author: Anuj Dawar
author: Erich Grädel
author: Stephan Kreutzer
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 91A80
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5013336
zbMATH Keywords: fixed-point logics
zbMATH Keywords: model checking
zbMATH Keywords: complexity
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.10.030
OpenAlex ID: W2108755250
Wikidata QID: Q58215641
cites work: Q5494230
cites work: Inflationary fixed points in modal logic
cites work: Q4845472
cites work: Q4198056
cites work: Automata, logics, and infinite games. A guide to current research
cites work: Borel determinacy
cites work: The undecidability of iterated modal relativization
cites work: Q4131648
cites work: Monadic second order logic on tree-like structures
DOI: 10.1016/J.TCS.2005.10.030
description: scientific article; zbMATH DE number 5013336