Login / Signup
From Formulae to Rewriting Systems.
Paolo Bottoni
Francesco Parisi-Presicce
Marta Simeoni
Published in:
TAGT (1998)
Keyphrases
</>
rewriting systems
rewriting rules
data model