Login / Signup

A General Theorem on Termination of Rewriting.

Jeremy E. DawsonRajeev Goré
Published in: CSL (2004)
Keyphrases
  • special case
  • closely related
  • case study
  • computer vision
  • multi agent systems
  • data sources