Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (Q5389084)
From MaRDI portal
scientific article; zbMATH DE number 6027841
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity |
scientific article; zbMATH DE number 6027841 |
Statements
24 April 2012
0 references
complexity
0 references
DP framework
0 references
multiple recursive functions
0 references
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (English)
0 references
