scientific article; zbMATH DE number 1354152
From MaRDI portal
Publication:4268467
zbMath0925.68262MaRDI QIDQ4268467
Publication date: 31 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
On the modularity of termination of term rewriting systems ⋮ Modular proofs for completeness of hierarchical term rewriting systems ⋮ On modularity in term rewriting and narrowing ⋮ Modularity in term rewriting revisited ⋮ Interaction nets and term-rewriting systems ⋮ Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems ⋮ Simple termination of rewrite systems ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ Some characteristics of strong innermost normalization ⋮ Interaction nets and term rewriting systems (extended abstract)
This page was built for publication:
