Termination of Generalized Term Rewriting Systems.

Salvador Lucas

Browse the full FSCD paper archive.