A combination framework for complexity (Q2958374)
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 6679815
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A combination framework for complexity |
scientific article; zbMATH DE number 6679815 |
Statements
1 February 2017
0 references
program analysis
0 references
term rewriting
0 references
complexity analysis
0 references
automation
0 references
A Combination Framework for Complexity (English)
0 references
0.9977604746818542
0 references
0.854520857334137
0 references
0.8186124563217163
0 references
0.8163484930992126
0 references
0.8115741610527039
0 references
