Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Publicações Confirmadas: 88



1
TÍTULO: Universality of quantum Turing machines with deterministic control
AUTORES: Mateus, P; Sernadas, A ; Souto, A ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
2
TÍTULO: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS  Full Text
AUTORES: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: A Roadmap to Decidability
AUTORES: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 2015, FONTE: Studies in Universal Logic - The Road to Universal Logic
INDEXADO EM: CrossRef
4
TÍTULO: Approximate reasoning about logic circuits with single-fan-out unreliable gates
AUTORES: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
5
TÍTULO: Craig Interpolation in the Presence of Unreliable Connectives  Full Text
AUTORES: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 2014, FONTE: Logica Universalis, VOLUME: 8, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
6
TÍTULO: Fibring as Biporting Subsumes Asymmetric Combinations  Full Text
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2014, FONTE: STUDIA LOGICA, VOLUME: 102, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
7
TÍTULO: Importing Logics: Soundness and Completeness Preservation  Full Text
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
8
TÍTULO: Preservation of Craig interpolation by the product of matrix logics  Full Text
AUTORES: Sernadas, C ; Rasga, J ; Sernadas, A ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF APPLIED LOGIC, VOLUME: 11, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
9
TÍTULO: Temporal logics for reasoning about quantum systems
AUTORES: Mateus, P ; Ramos, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2013, FONTE: Semantic Techniques in Quantum Computation
INDEXADO EM: Scopus CrossRef
10
TÍTULO: Importing Logics  Full Text
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2012, FONTE: STUDIA LOGICA, VOLUME: 100, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
Página 1 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