Guided unfoldings for finding loops in standard term rewriting (Q6085974)
From MaRDI portal
scientific article; zbMATH DE number 7762982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Guided unfoldings for finding loops in standard term rewriting |
scientific article; zbMATH DE number 7762982 |
Statements
Guided unfoldings for finding loops in standard term rewriting (English)
0 references
9 November 2023
0 references
term-rewrite systems
0 references
dependency pairs
0 references
non-termination
0 references
loop
0 references
unfolding
0 references
