Multi-weighted automata and MSO logic (Q504993): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1506.06024 / rank | |||
Normal rank |
Revision as of 15:37, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-weighted automata and MSO logic |
scientific article |
Statements
Multi-weighted automata and MSO logic (English)
0 references
18 January 2017
0 references
multi-priced automata
0 references
quantitative logic
0 references
average behavior
0 references
reward-cost ratio
0 references
quantitative languages
0 references