Login / Signup

Efficient Rewriting in Cograph Trace Monoids.

Michael Bertol
Published in: FCT (1995)
Keyphrases
  • rewrite rules
  • lower bound
  • lightweight
  • computationally efficient