scientific article
From MaRDI portal
Publication:2778877
zbMath0981.68062MaRDI QIDQ2778877
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510169
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Simplifying the signature in second-order unification ⋮ Regular expression order-sorted unification and matching ⋮ On the relation between context and sequence unification