scientific article; zbMATH DE number 1118018
From MaRDI portal
Publication:4376886
zbMATH Open0903.68103MaRDI QIDQ4376886
Publication date: 12 February 1998
Title of this publication is not available (Why is that?)
Related Items (16)
On sufficient-completeness and related properties of term rewriting systems ⋮ Title not available (Why is that?) ⋮ Extended term rewriting systems ⋮ Right-linear half-monadic term rewrite systems ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A theory of binding structures and applications to rewriting ⋮ Title not available (Why is that?) ⋮ Murg term rewrite systems ⋮ A Human-Oriented Term Rewriting System ⋮ Title not available (Why is that?) ⋮ Complexity analysis of term-rewriting systems ⋮ Term rewriting: Some experimental results ⋮ On the descriptive power of term rewriting systems ⋮ Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376886)
