Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardar confirmação

41
TÍTULO: Compositional Meaning in Logic
AUTORES: Carlos Caleiro; Luca Viganò;
PUBLICAÇÃO: 2017, FONTE: Logica Universalis, VOLUME: 11, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Decidability and complexity of fibred logics without shared connectives
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
43
TÍTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2015, FONTE: Theor. Comput. Sci., VOLUME: 603
INDEXADO EM: DBLP
NO MEU: DBLP
44
TÍTULO: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics PDF
AUTORES: Carlos Caleiro; João Marcos; Marco Volpe;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1408.3775
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
45
TÍTULO: Symbolic Probabilistic Analysis of Off-Line Guessing
AUTORES: Bruno Conchinha; David A Basin; Carlos Caleiro;
PUBLICAÇÃO: 2013, FONTE: Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings, VOLUME: 8134
INDEXADO EM: DBLP
NO MEU: DBLP
46
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
INDEXADO EM: DBLP
NO MEU: DBLP
47
TÍTULO: Abstract Valuation Semantics
AUTORES: Carlos Caleiro; Ricardo Gonçalves;
PUBLICAÇÃO: 2013, FONTE: Studia Logica, VOLUME: 101, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
48
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
INDEXADO EM: DBLP
NO MEU: DBLP
49
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
INDEXADO EM: DBLP
NO MEU: DBLP
50
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 5 de 8. Total de resultados: 80.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service