Login / Signup

Finiteness Results on Rewriting Systems.

Jean-Claude Raoult
Published in: RAIRO Theor. Informatics Appl. (1981)
Keyphrases
  • rewriting systems
  • rewriting rules
  • databases
  • bipartite graph