Pages that link to "Item:Q3584890"
From MaRDI portal
The following pages link to Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (Q3584890):
Displaying 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)
