BibTeX
CSL-JSON
MLA
Harvard
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar