Joint spectral radius theory for automated complexity analysis of rewrite systems (Q3014928)
From MaRDI portal
!
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 5918462
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Joint spectral radius theory for automated complexity analysis of rewrite systems |
scientific article; zbMATH DE number 5918462 |
Statements
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems (English)
0 references
8 July 2011
0 references
derivational complexity
0 references
matrix interpretations
0 references
weighted automata
0 references
joint spectral radius
0 references
0 references
0 references
0.8694642186164856
0 references
0.8323062062263489
0 references
0.8314732313156128
0 references
0.7959729433059692
0 references
0.7587237358093262
0 references
