Mechanized Metatheory Revisited release_sgmm2r4hn5ab3mgpvvzwhcjs5i

by Dale Miller

Published in Journal of automated reasoning by Springer Nature.

2018  

Archived Files and Locations

application/pdf  644.2 kB
file_fo7p5iplqzgvlffqpkvpb7jxkm
hal.inria.fr (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2018-10-04
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0168-7433
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: bcd8d3b7-2d0b-4a9b-94d9-0e415422d6d4
API URL: JSON