Daniel R. Licata
AuthID: R-00G-YVC
1
TITLE: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
AUTHORS: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLISHED: 2016, SOURCE: LFMTP
INDEXED IN: DBLP CrossRef