Maria João Antunes Dias Gouveia


AuthID: R-000-BTM

Publicações Confirmadas: 20



1
TÍTULO: Canonical extensions of lattices are more than perfect
AUTORES: Craig, Andrew P. K.; Gouveia, Maria J. ; Haviar, Miroslav;
PUBLICAÇÃO: 2022, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 83, NÚMERO: 2
INDEXADO EM: WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: Permutation reconstruction from a few large patterns
AUTORES: Gouveia, MJ ; Lehtonen, E ;
PUBLICAÇÃO: 2021, FONTE: ELECTRONIC JOURNAL OF COMBINATORICS, VOLUME: 28, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: The continuous weak order
AUTORES: Gouveia, MJ ; Santocanale, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 225, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Fixed-point Elimination in the Intuitionistic Propositional Calculus
AUTORES: Ghilardi, S; Gouveia, MJ ; Santocanale, L;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 21, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: $\aleph_1$ and the modal $\mu$-calculus  Full Text
AUTORES: Maria João Gouveia ; Luigi Santocanale;
PUBLICAÇÃO: 2019, FONTE: Logical Methods in Computer Science, VOLUME: Volume 15, Issue 4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: aleph(1) AND THE MODAL mu-CALCULUS In memory of Zoltan Esik
AUTORES: Maria Joao Gouveia ; Luigi Santocanale;
PUBLICAÇÃO: 2019, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: MIX ☆-Autonomous Quantales and the Continuous Weak Order
AUTORES: Gouveia, MJ ; Santocanale, L;
PUBLICAÇÃO: 2018, FONTE: 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018 in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, VOLUME: 11194
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: ℵ1 and the Modal μ-Calculus
AUTORES: Gouveia, MJ ; Santocanale, L;
PUBLICAÇÃO: 2017, FONTE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: Fixed-Point Elimination in the Intuitionistic Propositional Calculus
AUTORES: Silvio Ghilardi; Maria Joao Gouveia ; Luigi Santocanale;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), VOLUME: 9634
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: TiRS graphs and TiRS frames: a new setting for duals of canonical extensions  Full Text
AUTORES: Andrew P K Craig; Maria J Gouveia ; Miroslav Haviar;
PUBLICAÇÃO: 2015, FONTE: ALGEBRA UNIVERSALIS, VOLUME: 74, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 2. Total de resultados: 20.

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

Links Úteis

Ajuda

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