Simplifying the signature in second-order unification release_ltrscory3nb7bdrfjy5jjoof2q

by Jordi Levy, Mateu Villaret

Published in Applicable Algebra in Engineering, Communication and Computing by Springer Nature.

2009   Volume 20, Issue 5-6, p427-445

Archived Files and Locations

application/pdf  470.2 kB
file_3e3mgtvnuvadjnryhtgdaerxsy
web.archive.org (webarchive)
iiia.csic.es (web)
web.archive.org (webarchive)
www.iiia.csic.es (web)
application/pdf  450.5 kB
file_34vw2nh6ofcdnnsi4zoxx6amme
www.iiia.csic.es (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.iiia.csic.es (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2009-09-04
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0938-1279
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 0c9b0029-05f0-4d1e-b679-865fcdb2ab02
API URL: JSON