Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



21
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
22
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
23
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
24
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
25
TÍTULO: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems  Full Text
AUTORES: Cruz-Filipe, L; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2007, FONTE: Logic Journal of IGPL, VOLUME: 16, NÚMERO: 2
INDEXADO EM: CrossRef
NO MEU: ORCID
26
TÍTULO: Quantum institutions
AUTORES: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
27
TÍTULO: Quantum Institutions
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXADO EM: DBLP
28
TÍTULO: Fibring Logics: Past, Present and Future
AUTORES: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
INDEXADO EM: DBLP
29
TÍTULO: Fibring of Logics as a Universal Construction
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXADO EM: CrossRef
30
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
Página 3 de 9. Total de resultados: 83.

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