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: Antonio Porto ;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS DBLP
NO MEU: ResearcherID | DBLP
3
TÍTULO: An alternative high-level approach to interaction with databases
AUTORES: Porto, A ;
PUBLICAÇÃO: 2011, FONTE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
4
TÍTULO: High-Level Interaction with Relational Databases in Logic Programming  Full Text
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
NO MEU: ORCID | ResearcherID | DBLP
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
NO MEU: ORCID | ResearcherID | DBLP
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  Full Text
AUTORES: António Porto ; Gruia Catalin Roman;
PUBLICAÇÃO: 2000, FONTE: COORDINATION, VOLUME: 1906
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Entailment-based actions for coordination  Full Text
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
NO MEU: ORCID | ResearcherID | DBLP
Página 1 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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