Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
61
TÃTULO: On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
AUTORES: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
AUTORES: Carlos Caleiro; Luca Viganò; Marco Volpe;
PUBLICAÇÃO: 2013, FONTE: Logica Universalis, VOLUME: 7, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
62
TÃTULO: Abstract Valuation Semantics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
63
TÃTULO: Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics
AUTORES: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLICAÇÃO: 2012, FONTE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
AUTORES: Marco Volpe; João Marcos; Carlos Caleiro;
PUBLICAÇÃO: 2012, FONTE: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, VOLUME: 7456
INDEXADO EM: DBLP
NO MEU: DBLP
64
TÃTULO: Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2012, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, NÚMERO: 1-3
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2012, FONTE: Multiple-Valued Logic and Soft Computing, VOLUME: 19, NÚMERO: 1-3
INDEXADO EM: DBLP
NO MEU: DBLP
65
TÃTULO: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, VOLUME: 10
INDEXADO EM: DBLP
NO MEU: DBLP
66
TÃTULO: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2011, FONTE: Fundam. Inform., VOLUME: 106, NÚMERO: 2-4
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2011, FONTE: Fundam. Inform., VOLUME: 106, NÚMERO: 2-4
INDEXADO EM: DBLP
NO MEU: DBLP
67
TÃTULO: Hierarchical logical consequence
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2011, FONTE: Logic Journal of the IGPL, VOLUME: 19, NÚMERO: 4
AUTORES: Carlos Caleiro; Paula Gouveia; Jaime Ramos;
PUBLICAÇÃO: 2011, FONTE: Logic Journal of the IGPL, VOLUME: 19, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
68
TÃTULO: Distributed temporal logic for the analysis of security protocol models
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 31
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2011, FONTE: Theor. Comput. Sci., VOLUME: 412, NÚMERO: 31
INDEXADO EM: DBLP
NO MEU: DBLP
69
TÃTULO: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTORES: Bruno Conchinha; David Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 7th International Workshop on Formal Aspects of Security and Trust in FORMAL ASPECTS OF SECURITY AND TRUST, VOLUME: 6561
AUTORES: Bruno Conchinha; David Basin; Carlos Caleiro;
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: WOS
70
TÃTULO: FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2011, FONTE: 22nd International Conference on Rewriting Techniques and Applications(RTA) held as part of Federated Conference on Rewriting, Deduction, and Programming (RDP) in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), VOLUME: 10
INDEXADO EM: WOS