Weight Assignment Logic (Q3451120)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weight Assignment Logic |
scientific article |
Statements
Weight Assignment Logic (English)
0 references
10 November 2015
0 references
quantitative omega-languages
0 references
quantitative logic
0 references
multi-weighted automata
0 references
Büchi automata
0 references
unambiguous automata
0 references
0 references
