The following pages link to (Q5486053):
Displaying 4 items.
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- Software tools for automation of parallel programming on the basis of algebra of algorithms (Q895102) (← links)
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- Mumbo: a rule-based implementation of a run-time program generation language (Q2863869) (← links)