Pages that link to "Item:Q4647544"
From MaRDI portal
The following pages link to Rewrite semantics for production rule systems: Theory and applications (Q4647544):
Displaying 4 items.
- Syntax-guided rewrite rule enumeration for SMT solvers (Q2181939) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- Rewrite semantics for production rule systems: Theory and applications (Q4647544) (← links)
- (Q5277883) (← links)