Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.

Franco Barbanera, Maribel Fernndez

Browse the full ICALP paper archive.