Pages that link to "Item:Q2373736"
From MaRDI portal
The following pages link to Weighted automata and weighted logics (Q2373736):
Displaying 50 items.
- On Finite and Polynomial Ambiguity of Weighted Tree Automata (Q2817402) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- Weighted nested word automata and logics over strong bimonoids (Q2929640) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- Weighted Restarting Automata and Pushdown Relations (Q2947160) (← links)
- Logics for Weighted Timed Pushdown Automata (Q2947171) (← links)
- Learning Tree Languages (Q2963598) (← links)
- Automata with Auxiliary Weights (Q2970201) (← links)
- Conversion of fuzzy automata into fuzzy regular expressions using transitive closure (Q2987857) (← links)
- (Q3077192) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- A Logical Characterization of Timed Pushdown Languages (Q3194716) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- Pumping lemmas for weighted automata (Q3304149) (← links)
- (Q3384166) (← links)
- (Q3386623) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Weighted versus Probabilistic Logics (Q3637211) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- (Q4449539) (← links)
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)
- (Q5015275) (← links)
- Crisp-determinization of weighted tree automata over strong bimonoids (Q5038197) (← links)
- Weighted Automata, Formal Power Series and Weighted Logic (Q5046590) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- (Q5092440) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Weighted Operator Precedence Languages (Q5111245) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- (Q5155668) (← links)
- (Q5216300) (← links)
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES (Q5247168) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450789) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Automata, Languages and Programming (Q5716802) (← links)
- An Automata View to Goal-Directed Methods (Q5738990) (← links)
- (Q5871579) (← links)
- Decidable weighted expressions with Presburger combinators (Q5915759) (← 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)
