Pages that link to "Item:Q2848049"
From MaRDI portal
The following pages link to Logical semantics for the rewriting calculus (Q2848049):
Displaying 7 items.
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- A logic for rewriting strategies (Q2841238) (← links)
- Rewrite strategies in the rewriting calculus (Q2844065) (← links)
- From Rogue to MicroRogue (Q2849859) (← links)
- (Q4222997) (← links)
- Logic based structure rewriting systems (Q5096292) (← links)
- Rewriting Techniques and Applications (Q5901566) (← links)