Pages that link to "Item:Q845343"
From MaRDI portal
The following pages link to Weighted finite automata over strong bimonoids (Q845343):
Displayed 18 items.
- Bisimulations for fuzzy automata (Q423147) (← links)
- An improved algorithm for determinization of weighted and fuzzy automata (Q543822) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Nondeterministic fuzzy automata (Q712503) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Equational weighted tree transformations (Q766185) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- Determinization of weighted finite automata over strong bimonoids (Q991892) (← links)
- Local finiteness in t-norm bimonoids: overlap cases (Q1697352) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- The complexity of computing the behaviour of lattice automata on infinite trees (Q2447756) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- WEIGHTED NESTED WORD AUTOMATA AND LOGICS OVER STRONG BIMONOIDS (Q2929640) (← 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)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES (Q5247168) (← links)