Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 55



21
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
22
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
23
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
24
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
25
TÍTULO: Classic-Like Analytic Tableaux for Finite-Valued Logics  Full Text
AUTORES: Carlos Caleiro ; Joao Marcos;
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
26
TÍTULO: Labelled Tableaux for Distributed Temporal Logic
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
27
TÍTULO: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTORES: Montalto, B; Caleiro, C ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
28
TÍTULO: A labeled tableaux system for the distributed temporal logic DTL
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
29
TÍTULO: Combining classical and intuitionistic implications
AUTORES: Carlos Caleiro ; Jaime Ramos ;
PUBLICAÇÃO: 2007, FONTE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXADO EM: Scopus WOS
NO MEU: ORCID
30
TÍTULO: Equipollent logical systems  Full Text
AUTORES: Caleiro, C ; Goncalves, R;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis: Towards a General Theory of Logic
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 3 de 6. Total de resultados: 55.

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