The following pages link to Theory Is Forever (Q5894889):
Displaying 13 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Safety and liveness of \(\omega\)-context-free languages (Q811129) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- A unifying approach to algebraic systems over semirings (Q2000006) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
- (Q3126160) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- A semiring-semimodule generalization of transducers and abstract \(\omega\)-families of power series (Q3515222) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- (Q5016362) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311138) (← links)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (Q6114867) (← links)