Pages that link to "Item:Q2915136"
From MaRDI portal
The following pages link to Automated Reasoning in Higher-Order Regular Algebra (Q2915136):
Displaying 5 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- (Q4332419) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)