The following pages link to (Q4503146):
Displayed 5 items.
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Regular binoid expressions and regular binoid languages. (Q1401404) (← links)
- Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids (Q1884948) (← links)
- Weighted Logics for Nested Words and Algebraic Formal Power Series (Q3519504) (← links)
- Algebraic and graph-theoretic properties of infinite<i>n</i>-posets (Q4680742) (← links)