Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
11
TÃTULO: Combining fragments of classical logic: When are interaction principles needed? PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv12
TÃTULO: Plug and Play Negations
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
INDEXADO EM: 
Scopus
Scopus13
TÃTULO: Locally Tabular not equal Locally Finite Full Text
AUTORES: Sergio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
AUTORES: Sergio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
INDEXADO EM: 
WOS
WOS14
TÃTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 7
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 7
INDEXADO EM: Scopus WOS
Scopus WOS15
TÃTULO: Disjoint Fibring of Non-deterministic Matrices
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2017, FONTE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
INDEXADO EM: WOS
WOS16
TÃTULO: Merging Fragments of Classical Logic
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
INDEXADO EM: DBLP
DBLP17
TÃTULO: Disjoint Fibring of Non-deterministic Matrices
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
INDEXADO EM: DBLP
DBLP18
TÃTULO: Merging fragments of classical logic PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.08689
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1706.08689
INDEXADO EM: DBLP arXiv
DBLP arXiv19
TÃTULO: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
AUTORES: Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2017, FONTE: J. Log. Comput., VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP20
TÃTULO: Decidability and complexity of fibred logics without shared connectives Full Text
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2016, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, NÚMERO: 5
AUTORES: Sergio Marcelino; Carlos Caleiro ;
PUBLICAÇÃO: 2016, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, NÚMERO: 5
