Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



1
TITLE: Universality of quantum Turing machines with deterministic control
AUTHORS: Mateus, P; Sernadas, A ; Souto, A ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 1
INDEXED IN: WOS CrossRef: 2
2
TITLE: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS  Full Text
AUTHORS: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLISHED: 2016, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
3
TITLE: A Roadmap to Decidability
AUTHORS: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 2015, SOURCE: Studies in Universal Logic - The Road to Universal Logic
INDEXED IN: CrossRef
4
TITLE: Approximate reasoning about logic circuits with single-fan-out unreliable gates
AUTHORS: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ResearcherID
5
TITLE: Craig Interpolation in the Presence of Unreliable Connectives  Full Text
AUTHORS: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLISHED: 2014, SOURCE: Logica Universalis, VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
6
TITLE: Fibring as Biporting Subsumes Asymmetric Combinations  Full Text
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2014, SOURCE: STUDIA LOGICA, VOLUME: 102, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ResearcherID
7
TITLE: Importing Logics: Soundness and Completeness Preservation  Full Text
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
8
TITLE: Preservation of Craig interpolation by the product of matrix logics  Full Text
AUTHORS: Sernadas, C ; Rasga, J ; Sernadas, A ;
PUBLISHED: 2013, SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 11, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
9
TITLE: Temporal logics for reasoning about quantum systems
AUTHORS: Mateus, P ; Ramos, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2013, SOURCE: Semantic Techniques in Quantum Computation
INDEXED IN: Scopus CrossRef
10
TITLE: Importing Logics  Full Text
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2012, SOURCE: STUDIA LOGICA, VOLUME: 100, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 1 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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