Pages that link to "Item:Q1797777"
From MaRDI portal
The following pages link to A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777):
Displaying 8 items.
- Weighted propositional configuration logics: a specification language for architectures with quantitative features (Q2064516) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- (Q3386623) (← links)
- (Q5015275) (← links)
- (Q5092440) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)