Maria João Antunes Dias Gouveia


AuthID: R-000-BTM

Confirmed Publications: 20



1
TITLE: Canonical extensions of lattices are more than perfect
AUTHORS: Craig, Andrew P. K.; Gouveia, Maria J. ; Haviar, Miroslav;
PUBLISHED: 2022, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 83, ISSUE: 2
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: Permutation reconstruction from a few large patterns
AUTHORS: Gouveia, MJ ; Lehtonen, E ;
PUBLISHED: 2021, SOURCE: ELECTRONIC JOURNAL OF COMBINATORICS, VOLUME: 28, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: The continuous weak order
AUTHORS: Gouveia, MJ ; Santocanale, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 225, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: Fixed-point Elimination in the Intuitionistic Propositional Calculus
AUTHORS: Ghilardi, S; Gouveia, MJ ; Santocanale, L;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 21, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: $\aleph_1$ and the modal $\mu$-calculus  Full Text
AUTHORS: Maria João Gouveia ; Luigi Santocanale;
PUBLISHED: 2019, SOURCE: Logical Methods in Computer Science, VOLUME: Volume 15, Issue 4
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: aleph(1) AND THE MODAL mu-CALCULUS In memory of Zoltan Esik
AUTHORS: Maria Joao Gouveia ; Luigi Santocanale;
PUBLISHED: 2019, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: MIX ☆-Autonomous Quantales and the Continuous Weak Order
AUTHORS: Gouveia, MJ ; Santocanale, L;
PUBLISHED: 2018, SOURCE: 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018 in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, VOLUME: 11194
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: ℵ1 and the Modal μ-Calculus
AUTHORS: Gouveia, MJ ; Santocanale, L;
PUBLISHED: 2017, SOURCE: 26th Annual EACSL Conference on Computer Science Logic, CSL 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 82
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Fixed-Point Elimination in the Intuitionistic Propositional Calculus
AUTHORS: Silvio Ghilardi; Maria Joao Gouveia ; Luigi Santocanale;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: TiRS graphs and TiRS frames: a new setting for duals of canonical extensions  Full Text
AUTHORS: Andrew P K Craig; Maria J Gouveia ; Miroslav Haviar;
PUBLISHED: 2015, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 74, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 2. Total results: 20.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service