Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



61
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 CrossRef: 7
62
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
63
TÍTULO: Specifying communication in distributed information systems  Full Text
AUTORES: Ehrich, HD; Caleiro, C ;
PUBLICAÇÃO: 2000, FONTE: ACTA INFORMATICA, VOLUME: 36, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
64
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Parameterisation of logics  Full Text
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: WOS
66
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1999, FONTE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: Denotational semantics of object specification  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Caleiro, C ;
PUBLICAÇÃO: 1998, FONTE: ACTA INFORMATICA, VOLUME: 35, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
68
TÍTULO: Parameterisation of Logics
AUTORES: Carlos Caleiro ; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 1998, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers, VOLUME: 1589
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
69
TÍTULO: A linear temporal logic approach to objects with transactions
AUTORES: Denker, G; Ramos, J; Caleiro, C ; Sernadas, A;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Synchronization of Logics  Full Text
AUTORES: Amílcar Sernadas ; Cristina Sernadas ; Carlos Caleiro ;
PUBLICAÇÃO: 1997, FONTE: Studia Logica, VOLUME: 59, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 7 de 8. Total de resultados: 73.

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