The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (Q3540194)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem |
scientific article |
Statements
The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem (English)
0 references
20 November 2008
0 references
