A rewrite rule may be guarded by a condition which is a boolean expression.
In the following we will consider only term graphs in flat form and without useless equations (garbage), which we remove systematically during rewriting.
All these observations also hold for rewriting modulo associativity and commutativity.
A refined compact bipartite graph data structure allows encoding all matching problems relative to a set of rewrite rules.
In context-free rewrite grammar, profiles are an optimization that make it possible to avoid lookups in the grammar at the postprocessing stage.
Then one defines a larger, and still decidable, class of queries that can easily be rewritten in this 'hereditarily finite' form.
Technology transfer from the lab to the products often becomes a significant engineering or rewrite effort for researchers.
Many development economists have begun to rewrite their theories (though not radically to change them) to incorporate the centrality of violence.
