Pages that link to "Item:Q860889"
From MaRDI portal
The following pages link to Skew and infinitary formal power series (Q860889):
Displaying 17 items.
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Weighted automata and weighted logics on infinite words (Q845080) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Weighted automata with discounting (Q963467) (← links)
- Weighted automata (Q2074206) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- Regular Expressions on Average and in the Long Run (Q3073640) (← links)
- Equational Weighted Tree Transformations with Discounting (Q3098036) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS (Q3224951) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS (Q5297785) (← links)
- Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ (Q5738984) (← links)
