Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



61
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLICAÇÃO: 2002, FONTE: 15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2267 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: WOS DBLP CrossRef: 7
NO MEU: DBLP
63
TÍTULO: Non-truth-functional fibred semantics
AUTORES: Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2001, FONTE: International Conference on Artificial Intelligence in IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III
INDEXADO EM: WOS
64
TÍTULO: Specifying communication in distributed information systems
AUTORES: Ehrich, HD; Caleiro, C ;
PUBLICAÇÃO: 2000, FONTE: ACTA INFORMATICA, VOLUME: 36, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: DBLP
65
TÍTULO: Fibring of logics as a categorial construction
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: DBLP
66
TÍTULO: Parameterisation of logics
AUTORES: Caleiro, C ; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: DBLP
67
TÍTULO: Denotational semantics of object specification
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1998, FONTE: ACTA INFORMATICA, VOLUME: 35, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
68
TÍTULO: A Linear Temporal Logic Approach to Objects with Transactions
AUTORES: Grit Denker; Jaime Ramos; Carlos Caleiro ; Amílcar Sernadas;
PUBLICAÇÃO: 1997, FONTE: AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
69
TÍTULO: Synchronization of Logics
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Stud Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
70
TÍTULO: Synchronization of Logics with Mixed Rules: Completeness Preservation
AUTORES: Amílcar Sernadas; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: AMAST, VOLUME: 1349
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
Página 7 de 8. Total de resultados: 72.

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