Termination of lazy rewriting revisited (Q2873676)
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 6250412
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Termination of lazy rewriting revisited |
scientific article; zbMATH DE number 6250412 |
Statements
24 January 2014
0 references
term rewriting
0 references
lazy rewriting
0 references
termination
0 references
context-sensitive system
0 references
0 references
Termination of lazy rewriting revisited (English)
0 references
0.9216485619544984
0 references
0.8466370105743408
0 references
0.8053719401359558
0 references
0.8002139329910278
0 references
0.7942973375320435
0 references
