ProfileOfResearchers

Publicações
Investigadores
Instituições

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

João Filipe Quintas dos Santos Rasga

AuthID: R-000-6Z8

Publicações
Confirmadas
Para Validar

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Publicações Confirmadas: 19

1

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:

2

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:

3

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:

4

TÃTULO: Importing Logics Full Text
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2012, FONTE: STUDIA LOGICA, VOLUME: 100, NÚMERO: 3

INDEXADO EM:

Scopus

WOS

NO MEU:

5

TÃTULO: On meet-combination of logics
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 6

INDEXADO EM:

Scopus

WOS

NO MEU:

6

TÃTULO: On Combined Connectives Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2011, FONTE: Logica Universalis, VOLUME: 5, NÚMERO: 2

INDEXADO EM:

Scopus

NO MEU:

7

TÃTULO: Fusion of sequent modal logic systems labelled with truth values Full Text
AUTORES: Joao Rasga ; Karina Roggia; Cristina Sernadas ;
PUBLICAÇÃO: 2010, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 18, NÚMERO: 6

INDEXADO EM:

Scopus

WOS

NO MEU:

8

TÃTULO: A Graph-theoretic Account of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6

INDEXADO EM:

Scopus

WOS

NO MEU:

9

TÃTULO: Interpolation via translations Full Text
AUTORES: Joao Rasga ; Walter Carnielli; Cristina Sernadas ;
PUBLICAÇÃO: 2009, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 55, NÚMERO: 5

INDEXADO EM:

Scopus

WOS

NO MEU:

10

TÃTULO: On Graph-theoretic Fibring of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6

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 2. Total de resultados: 19.

<<
<
1
2
>
>>

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