Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publications Requiring Validation

71
TITLE: Algebraic Valuations as Behavioral Logical Matrices
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: DBLP
IN MY: DBLP
72
TITLE: Classic-Like Analytic Tableaux for Finite-Valued Logics
AUTHORS: Carlos Caleiro; João Marcos;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: DBLP
IN MY: DBLP
73
TITLE: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTHORS: Bruno Montalto; Carlos Caleiro;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 253, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
74
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
75
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: David A Basin; Carlos Caleiro; Jaime Ramos; Luca Viganò;
PUBLISHED: 2009, SOURCE: J. Log. Comput., VOLUME: 19, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
76
TITLE: Combining Classical and Intuitionistic Implications
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, VOLUME: 4720
INDEXED IN: DBLP
IN MY: DBLP
77
TITLE: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTHORS: Carlos Caleiro; Jaime Ramos;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
78
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: DBLP
IN MY: DBLP
79
TITLE: On the Algebraization of Many-Sorted Logics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
INDEXED IN: DBLP
IN MY: DBLP
80
TITLE: On the semantics of Alice&Bob specifications of security protocols
AUTHORS: Carlos Caleiro; Luca Viganò; David A Basin;
PUBLISHED: 2006, SOURCE: Theor. Comput. Sci., VOLUME: 367, ISSUE: 1-2
INDEXED IN: DBLP
IN MY: DBLP
Page 8 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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