Coloring rules for finite trees, and probabilities of monadic second order sentences (Q4345363)
From MaRDI portal
scientific article; zbMATH DE number 1038406
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coloring rules for finite trees, and probabilities of monadic second order sentences |
scientific article; zbMATH DE number 1038406 |
Statements
6 October 1997
0 references
Ehrenfeucht-Fraïssé games
0 references
coloring rules
0 references
finite rooted tree
0 references
asymptotic behavior of the fraction of \(n\) vertex trees with a given root color
0 references
monadic second-order sentence
0 references
limiting probabilities
0 references
Boolean function
0 references
Coloring rules for finite trees, and probabilities of monadic second order sentences (English)
0 references
