Pages that link to "Item:Q5096912"
From MaRDI portal
The following pages link to A completeness theorem for nondeterministic Kleene algebras (Q5096912):
Displaying 13 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Knuth-Bendix completion for non-symmetric transitive relations (Q2841250) (← links)
- (Q4329301) (← links)
- Non‐Complementedness and Non‐Distributivity of Kleene Degrees (Q4351927) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)