The following pages link to Theory Is Forever (Q5894889):
Displayed 8 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- (Q5016362) (← links)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (Q6114867) (← links)