Pages that link to "Item:Q2176687"
From MaRDI portal
The following pages link to Completeness and incompleteness of synchronous Kleene algebra (Q2176687):
Displaying 8 items.
- Synchronous Kleene algebra (Q710676) (← links)
- Concurrent Kleene algebra: free model and completeness (Q2324010) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- (Q5013878) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)