Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



11
TÍTULO: On meet-combination of logics
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
12
TÍTULO: On Combined Connectives  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2011, FONTE: Logica Universalis, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
13
TÍTULO: Preservation by fibring of the finite model property
AUTORES: Coniglio, ME; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
14
TÍTULO: Faculty evaluation using multicriteria value measurement
AUTORES: Costa, CABE ; Martins, PAF ; Oliveira, MD ; Sernadas, A ; Soares, CAM ;
PUBLICAÇÃO: 2010, FONTE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings
INDEXADO EM: Scopus
NO MEU: ORCID
15
TÍTULO: A Graph-theoretic Account of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
16
TÍTULO: Extending Classical Logic for Reasoning About Quantum Systems
AUTORES: Chadha, R; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2009, FONTE: Handbook of Quantum Logic and Quantum Structures
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
17
TÍTULO: On Graph-theoretic Fibring of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
18
TÍTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Lus Cruz Filipe; Joao Rasga ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
19
TÍTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2008, FONTE: Journal of Logic and Computation, VOLUME: 18, NÚMERO: 6
INDEXADO EM: CrossRef
NO MEU: ORCID
20
TÍTULO: Heterogeneous fibring of deductive systems via abstract proof systems  Full Text
AUTORES: Luiis Cruz Filipe; Amilcar Sernadas ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
Página 2 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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