António Beça Gonçalves Porto


AuthID: R-000-1Y4

Publicações Confirmadas: 36



1
TÍTULO: A structured alternative to Prolog with simple compositional semantics
AUTORES: ANTÓNIO PORTO ;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
2
TÍTULO: A structured alternative to Prolog with simple compositional semantics
AUTORES: Porto, A ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP
3
TÍTULO: An Alternative High-Level Approach to Interaction with Databases
AUTORES: António Porto ;
PUBLICAÇÃO: 2009, FONTE: INAP, VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
4
TÍTULO: High-Level Interaction with Relational Databases in Logic Programming
AUTORES: Porto, A ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5
TÍTULO: PPDP09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword
AUTORES: Porto, A ; Lopez Fraguas, FJ;
PUBLICAÇÃO: 2009, FONTE: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'09 in PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
INDEXADO EM: Scopus
NO MEU: ORCID
6
7
TÍTULO: An integrated information system powered by Prolog
AUTORES: Porto, A ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
8
TÍTULO: Structural Abstraction and Application in Logic Programming
AUTORES: António Porto ;
PUBLICAÇÃO: 2002, FONTE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
9
TÍTULO: Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings
AUTORES: António Porto ; Gruia Catalin Roman;
PUBLICAÇÃO: 2000, FONTE: COORDINATION, VOLUME: 1906
INDEXADO EM: DBLP
10
TÍTULO: Entailment-based actions for coordination
AUTORES: Monteiro, L ; Porto, A ;
PUBLICAÇÃO: 1998, FONTE: 1st International Conference on Coordination Languages and Models - Thoeretical Aspects of Coordination Languages in THEORETICAL COMPUTER SCIENCE, VOLUME: 192, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
Página 1 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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