BibTeX
CSL-JSON
MLA
Harvard
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
release_3lcz3tnzsvejdlkvzpewkh4tty
by
Raphaël Cauderlier, Catherine Dubois
Archived Files and Locations
application/pdf 376.6 kB
file_pf6hsybwrfentjk3tqcaef2j4q
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 535.4 kB
file_cfxxasxsxre2vmvx56lz7e2fiq
|
hal.inria.fr (repository) web.archive.org (webarchive) |
application/pdf 341.3 kB
file_mzdm62dcnvgv3nqg7duizn3thu
|
web.archive.org (webarchive) pdfs.semanticscholar.org (aggregator) |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2016
chapter
Stage
published
Year 2016
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