Sparse tiling through overlap closures for termination of string rewriting (Q5089023)
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 7559287
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sparse tiling through overlap closures for termination of string rewriting |
scientific article; zbMATH DE number 7559287 |
Statements
18 July 2022
0 references
relative termination
0 references
semantic labeling
0 references
locally testable language
0 references
overlap closure
0 references
0.7638582587242126
0 references
0.761311948299408
0 references
0.7474216818809509
0 references
0.7455567121505737
0 references
0.7411574125289917
0 references
