Login / Signup
A General Theorem on Termination of Rewriting.
Jeremy E. Dawson
Rajeev Goré
Published in:
CSL (2004)
Keyphrases
</>
special case
closely related
case study
computer vision
multi agent systems
data sources