João Filipe Quintas dos Santos Rasga


AuthID: R-000-6Z8

Publicações Confirmadas: 19



11
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
12
TÍTULO: On the power of quantum tamper-proof devices  Full Text
AUTORES: Bouda, J; Mateus, P ; Paunkovic, N ; Rasga, J ;
PUBLICAÇÃO: 2008, FONTE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
13
TÍTULO: Preservation of interpolation features by fibring
AUTORES: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
14
TÍTULO: Sufficient conditions for cut elimination with complexity analysis  Full Text
AUTORES: Joao Rasga ;
PUBLICAÇÃO: 2007, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 149, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
15
TÍTULO: Transferring proofs of zero-knowledge systems with quantum correlations
AUTORES: Mateus, P ; Moura, F; Rasga, J ;
PUBLICAÇÃO: 2007, FONTE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
16
TÍTULO: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTORES: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
17
TÍTULO: Truth-values as labels: A general recipe for labelled deduction
AUTORES: Sernadas, C ; Vigano, L; Rasga, J ; Sernadas, A ;
PUBLICAÇÃO: 2003, FONTE: Journal of Applied Non-Classical Logics, VOLUME: 13, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
18
TÍTULO: Fibring labelled deduction systems
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 12, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
19
TÍTULO: Modulated fibring and the collapsing problem
AUTORES: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
Página 2 de 2. Total de resultados: 19.

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