Pages that link to "Item:Q1369097"
From MaRDI portal
The following pages link to An equational axiomatization for multi-exit iteration (Q1369097):
Displaying 5 items.
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Axiomatizations for the perpetual loop in process algebra (Q4571987) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
