Manuel V. Hermenegildo
AuthID: R-00F-NQY
1
TÃTULO: Parallel Logic Programming: A Sequel
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6
2
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
DBLP3
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
DBLP4
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
DBLP5
TÃTULO: An improved continuation call-based implementation of tabling
AUTORES: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLICAÇÃO: 2008, FONTE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
AUTORES: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLICAÇÃO: 2008, FONTE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
6
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
DBLP7
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
DBLP8
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