Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
Gérard Huet · Journal of the ACM · 1980
Numérisation avec OCR réalisée en 2024. La reconnaissance de caractères du PDF (format PDF/A) peut comporter des erreurs. Pour toutes informations complémentaires et les partages de propriété, merci de contacter le service IES [email protected]