Semilinear sets and counter machines: a brief survey (Q2805446)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semilinear sets and counter machines: a brief survey |
scientific article; zbMATH DE number 6579360
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Semilinear sets and counter machines: a brief survey |
scientific article; zbMATH DE number 6579360 |
Statements
11 May 2016
0 references
semilinear set
0 references
reversal-bounded counter machine
0 references
Parikh's theorem
0 references
linear Diophantine equations
0 references
descriptional complexity
0 references
closure property
0 references
decidable
0 references
undecidable
0 references
0.8755546
0 references
0.8658801
0 references
0.86142343
0 references
0 references
0.84724057
0 references
0.84579355
0 references
Semilinear sets and counter machines: a brief survey (English)
0 references
