Daniel R. Licata
AuthID: R-00G-YVC
1
TÃTULO: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016
AUTORES: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLICAÇÃO: 2016, FONTE: LFMTP
AUTORES: Gilles Dowek; Daniel R Licata; Sandra Alves ;
PUBLICAÇÃO: 2016, FONTE: LFMTP
INDEXADO EM: DBLP CrossRef