On modal mu-calculus and Büchi tree automata
type: Item
instance of: scholarly article
title: On modal mu-calculus and Büchi tree automata
zbMATH Open document ID: 1004.68530
DOI: 10.1016/0020-0190(94)00227-P
author: Roope Kaivola
published in: Information Processing Letters
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 983745
zbMATH Keywords: formal languages
zbMATH Keywords: modal mu-calculus
zbMATH Keywords: alternation
zbMATH Keywords: Büchi-automata
MaRDI profile type: Publication
cites work: Logical definability of fixed points
cites work: Q5753528
cites work: Q4256653
cites work: SnS can be modally characterized
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3730012
cites work: Q5616162
cites work: Q4023900
cites work: The greatest fixed-points and rational omega-tree languages
full work available at URL: 0020-0190(94)00227-p
OpenAlex ID: W2065408915
description: scientific article; zbMATH DE number 983745