Testing for the Church-Rosser Property

DOI10.1145/321850.321862MaRDI QIDQ4066643zbMATH OpenOpenAlexFDO

Authors Ravi Sethi

Publication date 1974

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321850.321862

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(12)

• History and basic features of the critical-pair/completion procedure
• An algorithm for testing lossless join property in relational databases
• Correctness of parallel programs: The Church-Rosser approach
• On reduction of asynchronous systems
• Roundoff analyses and sparse data
• Rewriting systems over similarity and generalized pseudometric spaces and their properties
• A generalized mathematical theory of structured programming
• Confluence modulo equivalence in Constraint Handling Rules
• Church-Rosser systems with respect to formal languages
• Church-Rosser converters
• On proving confluence modulo equivalence for Constraint Handling Rules
• On the confluence of directed graph reductions preserving feedback vertex set minimality

This page was built for publication: Testing for the Church-Rosser Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4066643)