Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Abstract

article Free Access Share on Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems Author: Gérard Huet INRIA, Domaine de Voluceau-Rocquencourt, B.P. 105-78150 Le Chesnay, France INRIA, Domaine de Voluceau-Rocquencourt, B.P. 105-78150 Le Chesnay, FranceView Profile Authors Info & Claims Journal of the ACMVolume 27Issue 4Oct. 1980 pp 797–821https://doi.org/10.1145/322217.322230Online:01 October 1980Publication History 818citation2,084DownloadsMetricsTotal Citations818Total Downloads2,084Last 12 Months223Last 6 weeks44 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF