Pages that link to "Item:Q3460616"
From MaRDI portal
The following pages link to Completeness and Incompleteness in Nominal Kleene Algebra (Q3460616):
Displaying 11 items.
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- (Q3315479) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Non‐Complementedness and Non‐Distributivity of Kleene Degrees (Q4351927) (← links)
- (Q5091269) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)
- The Tractarian operation \(N\) and expressive completeness (Q5926255) (← links)