Pages that link to "Item:Q3584890"

The following pages link to Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (Q3584890):

Displayed 11 items.

• Bisimulations for fuzzy automata (Q423147) ‎ (← links)
• An improved algorithm for determinization of weighted and fuzzy automata (Q543822) ‎ (← 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)
• Determinization of weighted finite automata over strong bimonoids (Q991892) ‎ (← links)
• Construction of fuzzy automata from fuzzy regular expressions (Q1759725) ‎ (← links)
• Characterizing weighted MSO for trees by branching transitive closure logics (Q2355685) ‎ (← links)
• Models for quantitative distributed systems and multi-valued logics (Q2855751) ‎ (← links)
• Regular Expressions on Average and in the Long Run (Q3073640) ‎ (← links)
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics (Q3098032) ‎ (← links)
• Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) ‎ (← links)