scientific article; zbMATH DE number 850633
From MaRDI portal
Publication:4866585
zbMATH Open0840.68064MaRDI QIDQ4866585
Publication date: 1 July 1996
Title of this publication is not available (Why is that?)
Related Items (4)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A fast algorithm for generating reduced ground rewriting systems from a set of ground equations ⋮ Congruential complements of ground term rewrite systems
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 Q4866585)
