The following pages link to (Q3730012):
Displaying 31 items.
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992) (← links)
- An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma (Q672383) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Logical definability of fixed points (Q1114673) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- A gap property of deterministic tree languages. (Q1401364) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666) (← links)
- A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- Fuzzy tree automata (Q2372277) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- On the Weak Index Problem for Game Automata (Q2947463) (← links)
- (Q3384164) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (Q3644751) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- (Q5875397) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q6104376) (← links)