An early reference with some Church-Rosser results has also been brought to our attention. See M. Nivat, "On some families of languages related to the Dyck language," Proc. 2nd ACM Symposium on Theory of Computing, 1970, pp. 221-225.

Crossref

Google Scholar

Cited By

View all

Sethi R(1982)Pebble games for studying storage sharingTheoretical Computer Science10.1016/0304-3975(82)90015-919:1(69-84)Online publication date: Jul-1982
https://doi.org/10.1016/0304-3975(82)90015-9
Buchberger BLoos R(1982)Algebraic SimplificationComputer Algebra10.1007/978-3-7091-3406-1_2(11-43)Online publication date: 1982
https://doi.org/10.1007/978-3-7091-3406-1_2
Downey PSethi R(1976)Assignment commands and array structuresProceedings of the 17th Annual Symposium on Foundations of Computer Science10.1109/SFCS.1976.7(57-66)Online publication date: 25-Oct-1976
https://dl.acm.org/doi/10.1109/SFCS.1976.7

Index Terms

Errata: `` Testing for the Church-Rosser Property''
1. Mathematics of computing

Recommendations

A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser

Basic properties of rewriting systems can be stated in the framework of abstract reduction systems (ARS). Properties like confluence (or Church-Rosser, CR) and weak confluence (or weak Church-Rosser, WCR) and their relationships can be studied in this ...
Invariance in property testing
Property testing

Property testing considers the task of testing rapidly (in particular, with very few samples into the data), if some massive data satisfies some given property, or is far from satisfying the property. For "global properties", i.e., properties that ...
Property Testing

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Journal of the ACM Volume 22, Issue 3

July 1975

133 pages

ISSN:0004-5411

EISSN:1557-735X

DOI:10.1145/321892

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1975

Published in JACM Volume 22, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
311
Total Downloads

Downloads (Last 12 months)32
Downloads (Last 6 weeks)6

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sethi R(1982)Pebble games for studying storage sharingTheoretical Computer Science10.1016/0304-3975(82)90015-919:1(69-84)Online publication date: Jul-1982
https://doi.org/10.1016/0304-3975(82)90015-9
Buchberger BLoos R(1982)Algebraic SimplificationComputer Algebra10.1007/978-3-7091-3406-1_2(11-43)Online publication date: 1982
https://doi.org/10.1007/978-3-7091-3406-1_2
Downey PSethi R(1976)Assignment commands and array structuresProceedings of the 17th Annual Symposium on Foundations of Computer Science10.1109/SFCS.1976.7(57-66)Online publication date: 25-Oct-1976
https://dl.acm.org/doi/10.1109/SFCS.1976.7

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser

Invariance in property testing

Property Testing

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations