Complexity analysis of term-rewriting systems (Q1262761)
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: Complexity analysis of term-rewriting systems |
scientific article; zbMATH DE number 4125005
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity analysis of term-rewriting systems |
scientific article; zbMATH DE number 4125005 |
Statements
Complexity analysis of term-rewriting systems (English)
0 references
1989
0 references
See the review in Zbl 0657.68027.
0 references
algorithmic complexity
0 references
term rewriting systems
0 references
asymptotic evaluations
0 references
0.9477989
0 references
0.9324035
0 references
0.9304846
0 references
0.9227915
0 references
0.91880596
0 references
0 references
0.91759646
0 references
