MSO-definable properties of Muller context-free languages are decidable (Q2829973)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: MSO-definable properties of Muller context-free languages are decidable |
scientific article; zbMATH DE number 6649506
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | MSO-definable properties of Muller context-free languages are decidable |
scientific article; zbMATH DE number 6649506 |
Statements
MSO-definable Properties of Muller Context-Free Languages Are Decidable (English)
0 references
9 November 2016
0 references
0 references
0.7953930497169495
0 references
0.7910673022270203
0 references
0.7693029046058655
0 references
0.7635712623596191
0 references
