Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 73



31
TÍTULO: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTORES: Carlos Caleiro ; Joao Marcos;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 31
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: Efficient decision procedures for message deducibility and static equivalence
AUTORES: Conchinha, B; Basin, D; Caleiro, C ;
PUBLICAÇÃO: 2011, FONTE: 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6561 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Hierarchical logical consequence  Full Text
AUTORES: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLICAÇÃO: 2011, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Towards a Behavioral Algebraic Theory of Logical Valuations  Full Text
AUTORES: Caleiro, C ; Goncalves, R ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 106, NÚMERO: 2-4
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTORES: Carlos Caleiro ; Joao Marcos;
PUBLICAÇÃO: 2010, FONTE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: XIV Latin American Symposium on Mathematical Logic (SLALM) (vol 15, pg 332, 2009)
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2010, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 16, NÚMERO: 1
INDEXADO EM: WOS
38
TÍTULO: Algebraic Valuations as Behavioral Logical Matrices  Full Text
AUTORES: Carlos Caleiro ; Ricardo Goncalves ;
PUBLICAÇÃO: 2009, FONTE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Behavioral Algebraization of Logics  Full Text
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 91, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 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