The following pages link to (Q4202947):
Displaying 12 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Kleene modules and linear languages (Q817584) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Kleene Algebra with Products and Iteration Theories (Q2958536) (← links)
- Partial Derivatives for Context-Free Languages (Q2988372) (← links)
- A Quest for Kleene Algebra in 2 Dimensions (Q3460613) (← links)
- (Q4010358) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712446) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Bounded fixed-point definability and tabular recognition of languages (Q6560180) (← links)