Login / Signup

Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems.

Craig C. SquierFriedrich Otto
Published in: RTA (1987)
Keyphrases
  • finite number
  • word problems
  • rewriting systems
  • database systems
  • database
  • query processing
  • rewriting rules