???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Maria João Antunes Dias Gouveia

Identificadores de autor

Ciência ID
801C-19EF-68A7
Produções

Publicações

Artigo em conferência
  1. Gouveia, M.J.; Santocanale, L.. "¿1 and the Modal µ-Calculus". 2017.
    10.4230/LIPIcs.CSL.2017.38
Artigo em revista
  1. Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav. "Canonical extensions of lattices are more than perfect". Algebra universalis 83 2 (2022): https://doi.org/10.1007/s00012-022-00769-2.
    Acesso aberto • 10.1007/s00012-022-00769-2
  2. Gouveia, M.J.; Santocanale, L.. "The continuous weak order". Journal of Pure and Applied Algebra 225 2 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85087788237&partnerID=MN8TOARS.
    10.1016/j.jpaa.2020.106472
  3. Gouveia, M.J.; Lehtonen, E.. "Permutation reconstruction from a few large patterns". Electronic Journal of Combinatorics 28 3 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85113531229&partnerID=MN8TOARS.
    10.37236/10403
  4. Ghilardi, S.; Gouveia, M.J.; Santocanale, L.L.. "Fixed-point elimination in the intuitionistic propositional calculus". ACM Transactions on Computational Logic 21 1 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85075607692&partnerID=MN8TOARS.
    10.1145/3359669
  5. Gouveia, M.J.; Santocanale, L.. "N1and the modal µ-calculus: In memory of zoltán Ésik". Logical Methods in Computer Science 15 4 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85074149580&partnerID=MN8TOARS.
    10.23638/LMCS-15(4:1)2019
  6. Craig, A.P.K.; Gouveia, M.J.; Haviar, M.. "TiRS graphs and TiRS frames: a new setting for duals of canonical extensions". Algebra Universalis 74 1-2 (2015): 123-138. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938414211&partnerID=MN8TOARS.
    10.1007/s00012-015-0335-2
  7. Gouveia, M.J.; Priestley, H.A.. "Canonical Extensions and Profinite Completions of Semilattices and Lattices". Order (2013): 1-28. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878926546&partnerID=MN8TOARS.
    10.1007/s11083-013-9296-2
  8. Gouveia, M.J.; Priestley, H.A.. "Profinite completions and canonical extensions of semilattice reducts of distributive lattices". Houston Journal of Mathematics 39 4 (2013): 1117-1136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84894626783&partnerID=MN8TOARS.
  9. Davey, B.A.; Gouveia, M.J.; Haviar, M.; Priestley, H.A.. "Natural extensions and profinite completions of algebras". Algebra Universalis 66 3 (2011): 205-241. http://www.scopus.com/inward/record.url?eid=2-s2.0-80255123739&partnerID=MN8TOARS.
    10.1007/s00012-011-0155-y
  10. Davey, B.A.; Gouveia, M.J.; Haviar, M.; Priestley, H.A.. "Multisorted dualisability: Change of base". Algebra Universalis 66 4 (2011): 331-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-81355127205&partnerID=MN8TOARS.
    10.1007/s00012-011-0158-8
  11. Gouveia, M.J.; Haviar, M.. "Transferral of entailment in duality theory: Dualisability". Czechoslovak Mathematical Journal 61 1 (2011): 41-63. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952744667&partnerID=MN8TOARS.
    10.1007/s10587-011-0016-z
  12. Gouveia, M.J.; Haviar, M.. "Transferral of entailment in duality theory II: Strong dualisability". Czechoslovak Mathematical Journal 61 2 (2011): 401-417. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856721007&partnerID=MN8TOARS.
    10.1007/s10587-011-0063-5
  13. Gouveia, M.J.. "A note on profinite completions and canonical extensions". Algebra Universalis 64 1 (2010): 21-23. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650003861&partnerID=MN8TOARS.
    10.1007/s00012-010-0083-2
  14. Saramago, M.J.. "Optimal natural dualities: The role of endomorphisms". Journal of the Australian Mathematical Society 77 2 (2004): 269-296. http://www.scopus.com/inward/record.url?eid=2-s2.0-10244252868&partnerID=MN8TOARS.
  15. Saramago, M.J.; Priestley, H.A.. "Optimal natural dualities: The structure of failsets". International Journal of Algebra and Computation 12 3 (2002): 407-436. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035998621&partnerID=MN8TOARS.
    10.1142/S0218196702000791
  16. Saramago, M.J.. "Some remarks on dualisability and endodualisability". Algebra Universalis 43 2-3 (2000): 197-216. http://www.scopus.com/inward/record.url?eid=2-s2.0-0008644091&partnerID=MN8TOARS.
  17. Gouveia, Maria. "Saramago, M.J., Optimal natural dualities for some quasivarieties of distributive double p-algebras". Acta Math. Univ. Comenianae 67 2 (1989): 249-271. https://www.emis.de/journals/AMUC/_vol-67/_no_2/_saramag/saramago.html.
Livro
  1. Gouveia, M.J.; Santocanale, L.. MIX * -autonomous quantales and the continuous weak order. 2018.
    10.1007/978-3-030-02149-8_12
  2. Ghilardi, S.; Gouveia, M.J.; Santocanale, L.. Fixed-point elimination in the intuitionistic propositional calculus. 2016.
    10.1007/978-3-662-49630-5_8