Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing weighted MSO for trees by branching transitive closure logics |
scientific article |
Statements
Characterizing weighted MSO for trees by branching transitive closure logics (English)
0 references
24 July 2015
0 references
weighted tree automata
0 references
weighted monadic second-order logic
0 references
transitive closure
0 references
0 references
0 references
