Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
71
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
WOS72
TÃTULO: Efficient Decision Procedures for Message Deducibility and Static Equivalence
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2010, FONTE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2010, FONTE: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers, VOLUME: 6561
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP73
TÃTULO: Algebraic Valuations as Behavioral Logical Matrices
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP74
TÃTULO: Classic-Like Analytic Tableaux for Finite-Valued Logics
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTORES: Carlos Caleiro; João Marcos;
PUBLICAÇÃO: 2009, FONTE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP75
TÃTULO: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTORES: Bruno Montalto; Carlos Caleiro;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, NÚMERO: 3
AUTORES: Bruno Montalto; Carlos Caleiro;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP76
TÃTULO: Behavioral algebraization of da Costa's C-systems
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2009, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 19, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP77
TÃTULO: Labelled Tableaux for Distributed Temporal Logic
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2009, FONTE: J. Log. Comput., VOLUME: 19, NÚMERO: 6
AUTORES: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLICAÇÃO: 2009, FONTE: J. Log. Comput., VOLUME: 19, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP78
TÃTULO: Combining Classical and Intuitionistic Implications
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP79
TÃTULO: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
AUTORES: Carlos Caleiro; Jaime Ramos;
PUBLICAÇÃO: 2007, FONTE: Logica Universalis, VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP80
TÃTULO: Quantum Institutions
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP