Pages that link to "Item:Q2988362"
From MaRDI portal
The following pages link to Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362):
Displaying 5 items.
- Algebraic Notions of Termination (Q3003302) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)