Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

19801,074 citationsJournal Article

Authors

Gérard Huet · Institut national de recherche en informatique et en automatique

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

Topics & Keywords

Mathematics, Computing, and Information Processing Digital Humanities and Scholarship Handwritten Text Recognition Techniques

Publication Details

Published in: Journal of the ACM

Volume 27, Issue 4, pp. 797-821

DOI: 10.1145/322217.322230

Field-Weighted Citation Impact: 47.25

Command Palette

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Authors

Abstract

Topics & Keywords

Publication Details