Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 72



31
TITLE: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTHORS: Marco Volpe; João Marcos; Carlos Caleiro ;
PUBLISHED: 2012, SOURCE: WoLLIC, VOLUME: 7456 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
32
TITLE: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
33
TITLE: Distributed temporal logic for the analysis of security protocol models
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 31
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: DBLP
34
TITLE: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTHORS: Conchinha, B; Basin, D; Caleiro, C ;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
35
TITLE: Hierarchical logical consequence
AUTHORS: Caleiro, C ; Gouveia, P; Ramos, J ;
PUBLISHED: 2011, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
36
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTHORS: Caleiro, C ; Gonçalves, R ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 106, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
37
TITLE: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
38
TITLE: XIV Latin American Symposium on Mathematical Logic (SLALM) (vol 15, pg 332, 2009)
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2010, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 16, ISSUE: 1
INDEXED IN: WOS
39
TITLE: Algebraic Valuations as Behavioral Logical Matrices
AUTHORS: Caleiro, C ; Gonçalves, R ;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
40
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: J. Appl. Non Class. Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: DBLP
Page 4 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service