Login / Signup
Synthesis of subtree rewriting systems behaviour by solving equations.
Alberto Pettorossi
Published in:
CLAAP (1980)
Keyphrases
</>
rewriting systems
nonlinear equations
algebraic equations
polynomial equations
rewriting rules
databases
black box
structural properties
linear equations
set of linear equations