Rewriting / CONCEPT
Newman Confluence
Terminating locally confluent rewrite systems have globally joinable reductions.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
Every pair of reductions is joinable
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Church-Rosser Equivalencestructural-affinity · Closed
- Golden Desubstitution Depthstructural-affinity · Closed
- Golden Desubstitution in Zeckendorf Coordinatesstructural-affinity · Closed
- Golden Desubstitution Normal Formstructural-affinity · Closed
- Hindley-Rosen Confluencestructural-affinity · Closed
- Newman Normal Formsstructural-affinity · Closed
- Normal Form Confluencestructural-affinity · Closed
- Normal Form Functionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance