Testing for the Church-Rosser Property
From MaRDI portal
Publication:4066643
DOI10.1145/321850.321862zbMath0308.68077OpenAlexW2033278487MaRDI QIDQ4066643
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
History and basic features of the critical-pair/completion procedure ⋮ Rewriting systems over similarity and generalized pseudometric spaces and their properties ⋮ Confluence Modulo Equivalence in Constraint Handling Rules ⋮ An algorithm for testing lossless join property in relational databases ⋮ Church-Rosser systems with respect to formal languages ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ A generalized mathematical theory of structured programming ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ On reduction of asynchronous systems ⋮ Roundoff analyses and sparse data ⋮ Church-Rosser converters
This page was built for publication: Testing for the Church-Rosser Property
