Pages that link to "Item:Q1822946"
From MaRDI portal
The following pages link to Fixed points in free process algebras. I (Q1822946):
Displaying 10 items.
- Fixed point equations with parameters in the projective model (Q580971) (← links)
- Fixed points in free process algebras. II (Q913498) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Bisimulation of automata (Q1822987) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- Process algebra with recursive operations (Q2760242) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)