String compression in FA-presentable structures (Q2682935)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | String compression in FA-presentable structures |
scientific article |
Statements
String compression in FA-presentable structures (English)
0 references
1 February 2023
0 references
FA-presentation
0 references
FA-presentable structure
0 references
successor function
0 references
Presburger arithmetic
0 references
compressibility rate
0 references
0 references
