scientific article; zbMATH DE number 1348460
From MaRDI portal
Publication:4264712
zbMath0925.03079MaRDI QIDQ4264712
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
More problems in rewriting ⋮ Problems in rewriting III ⋮ Specification and proof in membership equational logic ⋮ Order-sorted Equational Unification Revisited ⋮ Regular expression order-sorted unification and matching
This page was built for publication:
