Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016

Thumbnail Image
Files
P-00K-WFT.pdf (92.39 KB)
Date
2016
Authors
Dowek,G
Licata,DR
Sandra Alves
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5231
 http://dx.doi.org/10.1145/2966268
Collections
CRACS - Other Publications