ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti release_3lcz3tnzsvejdlkvzpewkh4tty

by Raphaël Cauderlier, Catherine Dubois

Published in Lecture Notes in Computer Science by Springer International Publishing.

2016   p459-468

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  chapter
Stage   published
Year   2016
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ff5403d4-67a6-4aba-86f8-b176381e70b9
API URL: JSON