Logical definability and query languages over ranked and unranked trees (Q5277776)
From MaRDI portal
scientific article; zbMATH DE number 6744019
Language | Label | Description | Also known as |
---|---|---|---|
English | Logical definability and query languages over ranked and unranked trees |
scientific article; zbMATH DE number 6744019 |
Statements
Logical definability and query languages over ranked and unranked trees (English)
0 references
12 July 2017
0 references
ranked trees
0 references
model theory
0 references
query languages
0 references
tree automata
0 references
unranked trees
0 references