Simplifying the Signature in Second-Order Unification
Applicable Algebra in Engineering, Communications and Computing - Germany
doi 10.1007/s00200-009-0106-4
Full Text
Open PDFAbstract
Available in full text
Date
September 4, 2009
Authors
Publisher
Springer Science and Business Media LLC