Pages that link to "Item:Q1342264"
From MaRDI portal
The following pages link to A complete equational axiomatization for prefix iteration (Q1342264):
Displayed 8 items.
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)