scientific article
From MaRDI portal
Publication:3830525
zbMath0675.68022MaRDI QIDQ3830525
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
Unnamed Item ⋮ Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent ⋮ CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Termination for the direct sum of left-linear term rewriting systems ⋮ Open problems in rewriting ⋮ Modularity in term rewriting revisited ⋮ Developing developments ⋮ Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent ⋮ Local confluence of conditional and generalized term rewriting systems ⋮ Unnamed Item ⋮ Development closed critical pairs ⋮ Confluence of the lambda calculus with left-linear algebraic rewriting ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem ⋮ Decreasing Diagrams and Relative Termination ⋮ Shallow confluence of conditional term rewriting systems ⋮ Proving Confluence of Term Rewriting Systems Automatically ⋮ Completeness of combinations of constructor systems ⋮ Confluence without termination via parallel critical pairs ⋮ Confluence and commutation for nominal rewriting systems with atom-variables
This page was built for publication:
