Tree automata with global constraints (Q3586405)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5779722
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tree automata with global constraints |
scientific article; zbMATH DE number 5779722 |
Statements
TREE AUTOMATA WITH GLOBAL CONSTRAINTS (English)
0 references
6 September 2010
0 references
trees
0 references
automata
0 references
equality constraints
0 references
0.9692161679267884
0 references
0.8829871416091919
0 references
0.8637527823448181
0 references
0.8173591494560242
0 references
