Theory of finite or infinite trees revisited (Q3514890)
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: Theory of finite or infinite trees revisited |
scientific article; zbMATH DE number 5303559
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Theory of finite or infinite trees revisited |
scientific article; zbMATH DE number 5303559 |
Statements
Theory of finite or infinite trees revisited (English)
0 references
23 July 2008
0 references
logical first-order formula
0 references
theory of finite or infinite trees
0 references
complete theory
0 references
rewriting rules
0 references
0.8233504295349121
0 references
0.8231152892112732
0 references
0.8099272847175598
0 references
0.8080479502677917
0 references
0.8051589131355286
0 references
