Pages that link to "Item:Q2841225"
From MaRDI portal
The following pages link to A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225):
Displaying 4 items.
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Scoped Dynamic Rewrite Rules (Q2841252) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
