Pages that link to "Item:Q1130164"
From MaRDI portal
The following pages link to Nonfinite axiomatizability of the equational theory of shuffle (Q1130164):
Displaying 11 items.
- Shuffled languages -- representation and recognition (Q388107) (← links)
- Free shuffle algebras in language varieties (Q671351) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Axiomatizing shuffle and concatenation in languages (Q1383153) (← links)
- Shuffle and scattered deletion closure of languages (Q1575737) (← links)
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages (Q1748357) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- The max-plus algebra of the natural numbers has no finite equational basis (Q1870591) (← links)
- Shuffle on positive varieties of languages (Q1884959) (← links)
- There is no complete axiom system for shuffle expressions (Q4718894) (← links)
- The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems (Q5262950) (← links)