Pages that link to "Item:Q5096912"
From MaRDI portal
The following pages link to A completeness theorem for nondeterministic Kleene algebras (Q5096912):
Displaying 5 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)
