Login / Signup

Generic Encodings of Constructor Rewriting Systems.

Horatiu CirsteaPierre-Etienne Moreau
Published in: PPDP (2019)
Keyphrases
  • rewriting systems
  • rewriting rules
  • knowledge base