Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (Q5351955)
From MaRDI portal
scientific article; zbMATH DE number 6767593
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata |
scientific article; zbMATH DE number 6767593 |
Statements
31 August 2017
0 references
MSO
0 references
finite automata
0 references
cost register automata
0 references
weighted automata
0 references
weighted logics
0 references
semirings
0 references
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (English)
0 references
