Pages that link to "Item:Q5410478"
From MaRDI portal
The following pages link to Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages (Q5410478):
Displaying 12 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Learning pomset automata (Q2233430) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- (Q5111639) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- (Q5875346) (← links)
- (Q5875403) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
