Miguel João Gonçalves Areias


AuthID: R-001-QE9

Publicações Confirmadas: 32



31
TÍTULO: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 4. Total de resultados: 32.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service