Login / Signup
Generic Encodings of Constructor Rewriting Systems.
Horatiu Cirstea
Pierre-Etienne Moreau
Published in:
PPDP (2019)
Keyphrases
</>
rewriting systems
rewriting rules
knowledge base