scientific article
From MaRDI portal
Publication:3819991
zbMath0667.68041MaRDI QIDQ3819991
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Completion for constrained term rewriting systems ⋮ Meta-rule synthesis from crossed rewrite systems ⋮ Equational completion in order-sorted algebras ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs ⋮ Completion of rewrite systems with membership constraints ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ Perpetuality and uniform normalization in orthogonal rewrite systems ⋮ The Power of Closed Reduction Strategies ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems
This page was built for publication:
