The following pages link to (Q4449535):
Displaying 11 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Schützenberger's theorem on formal power series follows from Kleene's theorem (Q935170) (← links)
- Fuzzy tree automata (Q2372277) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- Dagger extension theorem (Q3094166) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
