Domain mu-calculus (Q4460689)
From MaRDI portal
scientific article; zbMATH DE number 2063033
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Domain mu-calculus |
scientific article; zbMATH DE number 2063033 |
Statements
Domain mu-calculus (English)
0 references
29 March 2004
0 references
domain \(\mu\)-calculus
0 references
decidability
0 references
expressive power
0 references
language equations
0 references
0 references
