Manuel V. Hermenegildo
AuthID: R-00F-NQY
1
TÃTULO: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 Full Text
AUTORES: Manuel V Hermenegildo; Jens Palsberg;
PUBLICAÇÃO: 2010, FONTE: POPL
AUTORES: Manuel V Hermenegildo; Jens Palsberg;
PUBLICAÇÃO: 2010, FONTE: POPL
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK
AUTORES: Manuel V Hermenegildo; Torsten Schaub;
PUBLICAÇÃO: 2010, FONTE: ICLP (Technical Communications), VOLUME: 7
AUTORES: Manuel V Hermenegildo; Torsten Schaub;
PUBLICAÇÃO: 2010, FONTE: ICLP (Technical Communications), VOLUME: 7
INDEXADO EM: DBLP
DBLP3
TÃTULO: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
AUTORES: Gilles Barthe; Manuel V Hermenegildo;
PUBLICAÇÃO: 2010, FONTE: VMCAI, VOLUME: 5944
INDEXADO EM: DBLP
DBLP4
TÃTULO: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
AUTORES: Manuel V Hermenegildo; Daniel Cabeza;
PUBLICAÇÃO: 2005, FONTE: PADL, VOLUME: 3350
AUTORES: Manuel V Hermenegildo; Daniel Cabeza;
PUBLICAÇÃO: 2005, FONTE: PADL, VOLUME: 3350
INDEXADO EM: DBLP
DBLP5
TÃTULO: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings
AUTORES: Manuel V Hermenegildo; Jaan Penjam;
PUBLICAÇÃO: 1994, FONTE: PLILP, VOLUME: 844
AUTORES: Manuel V Hermenegildo; Jaan Penjam;
PUBLICAÇÃO: 1994, FONTE: PLILP, VOLUME: 844
INDEXADO EM: DBLP
DBLP6
TÃTULO: Programming language implementation and logic programming. 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
AUTORES: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLICAÇÃO: 1994
AUTORES: PLILP '94 (1994 Madrid, Spain); Spain) Plilp 9 (1994 Madrid; Manuel Hermenegildo;
PUBLICAÇÃO: 1994
INDEXADO EM: 
Openlibrary
Openlibrary