Global Caching for the Alternation-free µ-Calculus (Q4608687)
From MaRDI portal
scientific article; zbMATH DE number 6851956
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Global Caching for the Alternation-free µ-Calculus |
scientific article; zbMATH DE number 6851956 |
Statements
21 March 2018
0 references
modal logic
0 references
fixpoint logic
0 references
satisfiability
0 references
global caching
0 references
coalgebraic logic
0 references
Büchi games
0 references
Global Caching for the Alternation-free µ-Calculus (English)
0 references
