Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



31
TÍTULO: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTORES: Marco Volpe; João Marcos; Carlos Caleiro ;
PUBLICAÇÃO: 2012, FONTE: WoLLIC, VOLUME: 7456 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
32
TÍTULO: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTORES: Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
33
TÍTULO: Distributed temporal logic for the analysis of security protocol models
AUTORES: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 31
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: DBLP
34
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 in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: DBLP
35
TÍTULO: Hierarchical logical consequence
AUTORES: Caleiro, C ; Gouveia, P; Ramos, J ;
PUBLICAÇÃO: 2011, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
36
TÍTULO: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTORES: Caleiro, C ; Gonçalves, R ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 106, NÚMERO: 2-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
37
TÍTULO: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTORES: Caleiro, C ; Marcos, J;
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: 1
NO MEU: DBLP
38
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
39
TÍTULO: Algebraic Valuations as Behavioral Logical Matrices
AUTORES: Caleiro, C ; Gonçalves, R ;
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 DBLP CrossRef: 1
NO MEU: DBLP
40
TÍTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Carlos Caleiro ; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: J. Appl. Non Class. Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: DBLP
Página 4 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