Pages that link to "Item:Q5716802"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716802):
Displaying 50 items.
- Automata theory based on lattice-ordered semirings (Q422445) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Handbook of weighted automata (Q836989) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted automata and weighted logics on infinite words (Q845080) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Weighted monadic Datalog (Q944376) (← 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)
- Weighted automata (Q2074206) (← links)
- Finite ambiguity and finite sequentiality in weighted automata over fields (Q2097226) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- Freeness properties of weighted and probabilistic automata over bounded languages (Q2280319) (← links)
- TFHE: fast fully homomorphic encryption over the torus (Q2303454) (← links)
- Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) (← links)
- Weighted automata and weighted logics (Q2373736) (← links)
- Advances in weighted logics for artificial intelligence (Q2411276) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- Weighted picture automata and weighted logics (Q2429722) (← links)
- Determinization of fuzzy automata with membership values in complete residuated lattices (Q2465969) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Weighted first-order logics over semirings (Q2803057) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← 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)
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- (Q3386623) (← links)
- Weighted Automata and Weighted Logics with Discounting (Q3503896) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- (Q4449539) (← links)
- (Q4558788) (← links)
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← 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)
- (Q5155668) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
- (Q5871579) (← links)