Login / Signup

Reduction operators and completion of rewriting systems.

Cyrille Chenavier
Published in: J. Symb. Comput. (2018)
Keyphrases
  • rewriting systems
  • rewriting rules
  • building blocks
  • life cycle