João Filipe Quintas dos Santos Rasga


AuthID: R-000-6Z8

Confirmed Publications: 19



11
TITLE: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTHORS: Lus Cruz Filipe; Joao Rasga ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 2008, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
12
TITLE: On the power of quantum tamper-proof devices  Full Text
AUTHORS: Bouda, J; Mateus, P ; Paunkovic, N ; Rasga, J ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
13
TITLE: Preservation of interpolation features by fibring
AUTHORS: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLISHED: 2008, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
14
TITLE: Sufficient conditions for cut elimination with complexity analysis  Full Text
AUTHORS: Joao Rasga ;
PUBLISHED: 2007, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 149, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
15
TITLE: Transferring proofs of zero-knowledge systems with quantum correlations
AUTHORS: Mateus, P ; Moura, F; Rasga, J ;
PUBLISHED: 2007, SOURCE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXED IN: Scopus CrossRef
IN MY: ORCID
16
TITLE: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTHORS: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
17
TITLE: Truth-values as labels: A general recipe for labelled deduction
AUTHORS: Sernadas, C ; Vigano, L; Rasga, J ; Sernadas, A ;
PUBLISHED: 2003, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 13, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Fibring labelled deduction systems
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
19
TITLE: Modulated fibring and the collapsing problem
AUTHORS: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLISHED: 2002, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 2 of 2. Total results: 19.

A place for researchers and their institutions

Useful Links

Get Help

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