Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.

H. Perdrix

Browse the full STACS paper archive.