Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus (Q4412837)
From MaRDI portal
scientific article; zbMATH DE number 1950130
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus |
scientific article; zbMATH DE number 1950130 |
Statements
Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus (English)
0 references
16 July 2003
0 references
