The following pages link to Logic Programming (Q5475785):
Displayed 4 items.
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)