ProfileOfResearchers

Publicações
Investigadores
Instituições

0
Entrar
- Autenticação Federada (Clique na imagem)
  
  Autenticação local Recuperar Palavra-passe Registar

Maria Cristina Sales Viana Serôdio Sernadas

AuthID: R-000-ATN

Publicações
Confirmadas
Para Validar

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Publicações Confirmadas: 83

1

TÃTULO: Probabilistic logic of quantum observations
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3

INDEXADO EM:

Scopus

WOS

NO MEU:

2

TÃTULO: On probability and logic
AUTORES: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLICAÇÃO: 2017, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 74, NÚMERO: 4

INDEXADO EM:

Scopus

WOS

NO MEU:

3

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

NO MEU:

4

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:

NO MEU:

5

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

NO MEU:

6

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

NO MEU:

7

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

NO MEU:

8

TÃTULO: Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Almost-everywhere quantification over finitely additive measures Full Text
AUTORES: Joao Rasga ; Wafik Boulos Lotfallah; Cristina Sernadas ;
PUBLICAÇÃO: 2013, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 59, NÚMERO: 4-5

INDEXADO EM:

Scopus

WOS

NO MEU:

9

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

NO MEU:

10

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

NO MEU:

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Página 1 de 9. Total de resultados: 83.

<<
<
1
2
3
4
5
6
7
8
9
>
>>

Selecione a Fonte

Esta publicação tem:

2 registos no ISI
2 registos no SCOPUS
2 registos no DBLP
2 registos no Unpaywall
2 registos no Openlibrary
2 registos no Handle

Por favor selecione o registo que deve ser utilizado pelo Authenticus.

Comparar Publicações

Um espaço para investigadores e suas Instituições

Links Úteis

Sobre o Authenticus
A Equipa
Algoritmo
Changelog

Ajuda

FAQ
Video
Contactos
support@authenticus.pt

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service