First-order aspects of tree paths (Q4644528)
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: First-order aspects of tree paths |
scientific article; zbMATH DE number 6997934
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order aspects of tree paths |
scientific article; zbMATH DE number 6997934 |
Statements
First-order aspects of tree paths (English)
0 references
8 January 2019
0 references
tree
0 references
first-order logic
0 references
definability
0 references
path
0 references
