POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS (Q5389155)
From MaRDI portal
scientific article; zbMATH DE number 6027910
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS |
scientific article; zbMATH DE number 6027910 |
Statements
25 April 2012
0 references
derivational complexity of rewriting
0 references
matrix interpretation
0 references
weighted automata
0 references
ambiguity of automata
0 references
finite domain constraints
0 references
POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS (English)
0 references
