Pages that link to "Item:Q4066643"
From MaRDI portal
The following pages link to Testing for the Church-Rosser Property (Q4066643):
Displayed 11 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- An algorithm for testing lossless join property in relational databases (Q1151059) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- On reduction of asynchronous systems (Q1241274) (← links)
- Roundoff analyses and sparse data (Q1243107) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- A generalized mathematical theory of structured programming (Q2265794) (← links)
- Confluence Modulo Equivalence in Constraint Handling Rules (Q2949698) (← links)
- Church-Rosser systems with respect to formal languages (Q3796797) (← links)
- Church-Rosser converters (Q3899522) (← links)