ProfileOfResearchers

Publicações
Investigadores
Instituições

0
Entrar
- Autenticação Federada (Clique na imagem)
  
  Autenticação local Recuperar Palavra-passe Registar

Miguel João Gonçalves Areias

AuthID: R-001-QE9

Publicações
Confirmadas
Para Validar

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Publicações Confirmadas: 33

31

TÃTULO: On combining linear-based strategies for tabled evaluation of logic programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5

INDEXADO EM:

Scopus

WOS

DBLP

32

TÃTULO: An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
AUTORES: Miguel Areias ; Rocha, R ;
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

33

TÃTULO: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816

INDEXADO EM:

Scopus

WOS

DBLP

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Página 4 de 4. Total de resultados: 33.

<<
<
1
2
3
4
>
>>

Selecione a Fonte

Esta publicação tem:

2 registos no ISI
2 registos no SCOPUS
2 registos no DBLP
2 registos no Unpaywall
2 registos no Openlibrary
2 registos no Handle
2 registos no DataCite

Por favor selecione o registo que deve ser utilizado pelo Authenticus.

Comparar Publicações

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

Links Úteis

Sobre o Authenticus
A Equipa
Algoritmo
Changelog

Ajuda

FAQ
Video
Contactos
support@authenticus.pt

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