Pages that link to "Item:Q2373736"
From MaRDI portal
The following pages link to Weighted automata and weighted logics (Q2373736):
Displaying 50 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Weak MSO with the unbounding quantifier (Q537919) (← links)
- Finite automata theory with membership values in lattices (Q632699) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Simulation distances (Q764284) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted automata and weighted logics on infinite words (Q845080) (← links)
- Weighted finite automata over strong bimonoids (Q845343) (← links)
- Concurrent weighted logic (Q890620) (← links)
- On aperiodic and star-free formal power series in partially commuting variables (Q927397) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- Alternating weighted automata over commutative semirings (Q1637338) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Copyless cost-register automata: structure, expressiveness, and closure properties (Q1740663) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Characterizations of recognizable weighted tree languages by logic and bimorphisms (Q1797776) (← 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)
- What's decidable about weighted automata? (Q2064522) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
- Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
- Weighted automata (Q2074206) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- A robust class of linear recurrence sequences (Q2105454) (← links)
- McCarthy-Kleene fuzzy automata and MSO logics (Q2182728) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Formal power series and regular operations on fuzzy languages (Q2269825) (← links)
- Weighted automata with storage (Q2280328) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- A link between multioperator and tree valuation automata and logics (Q2355687) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Determinization of fuzzy automata with membership values in complete residuated lattices (Q2465969) (← links)
- Rational elements of summation semirings (Q2663048) (← links)
- On quotients of formal power series (Q2672254) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- On Finite and Polynomial Ambiguity of Weighted Tree Automata (Q2817402) (← links)
- WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS (Q2929640) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
