Fast and simple nested fixpoints
type: Item
instance of: scholarly article
title: Fast and simple nested fixpoints
zbMATH Open document ID: 0900.68458
DOI: 10.1016/0020-0190(96)00130-5
author: Helmut Seidl
published in: Information Processing Letters
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68U20
zbMATH DE Number: 984196
zbMATH Keywords: Evaluation of fixpoint expressions
zbMATH Keywords: Hierarchical systems of equations
zbMATH Keywords: Model-checking
MaRDI profile type: Publication
full work available at URL: 0020-0190(96)00130-5
OpenAlex ID: W2051491228
cites work: Model checking and boolean graphs
cites work: A linear algorithm to solve fixed-point equations on transition systems
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: A linear-time model-checking algorithm for the alternation-free modal mu- calculus
cites work: On model checking for the \(\mu\)-calculus and its fragments
cites work: Results on the propositional \(\mu\)-calculus
cites work: An improved algorithm for the evaluation of fixpoint expressions
cites work: Q4023900
cites work: Automata-theoretic techniques for modal logics of programs
description: scientific article; zbMATH DE number 984196