Pages that link to "Item:Q764336"
From MaRDI portal
The following pages link to Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336):
Displayed 16 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Model checking fuzzy computation tree logic (Q529056) (← 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)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
- The complexity of computing the behaviour of lattice automata on infinite trees (Q2447756) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS (Q2929640) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES (Q5247168) (← links)
- On High-Quality Synthesis (Q5740173) (← links)