Higher Order Dependency Pairs for Algebraic Functional Systems (Q5389082)
From MaRDI portal
scientific article; zbMATH DE number 6027839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher Order Dependency Pairs for Algebraic Functional Systems |
scientific article; zbMATH DE number 6027839 |
Statements
24 April 2012
0 references
higher order rewriting
0 references
termination
0 references
dynamic dependency pairs
0 references
Higher Order Dependency Pairs for Algebraic Functional Systems (English)
0 references
