Pages that link to "Item:Q5072547"
From MaRDI portal
The following pages link to Weighted Automata and Weighted Logics (Q5072547):
Displaying 31 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Alternating weighted automata over commutative semirings (Q1637338) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Weighted automata (Q2074206) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Advances in weighted logics for artificial intelligence (Q2411276) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Bisimulation relations for weighted automata (Q2481957) (← links)
- Rational elements of summation semirings (Q2663048) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
- Weighted nested word automata and logics over strong bimonoids (Q2929640) (← links)
- Reasoning about online algorithms with weighted automata (Q2930304) (← links)
- Weighted Restarting Automata and Pushdown Relations (Q2947160) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- (Q3077192) (← links)
- (Q4449539) (← links)
- (Q5015275) (← links)
- Weighted Automata, Formal Power Series and Weighted Logic (Q5046590) (← links)
- (Q5092440) (← links)
- A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
- Weighted three directions OTA and weighted hexapolic picture automata (Q6166836) (← links)
- Decomposing analogy: a logic characterization (Q6630199) (← links)
- Weighted automata and logics meet computational complexity (Q6647756) (← links)
- A Nivat theorem for weighted alternating automata over commutative semirings (Q6649528) (← links)