Célia Borlido

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Morphological Transformations

Convex Functions

Formal Language

Top Venues

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Int. J. Algebra Comput.

Publications

Célia Borlido, Anna Laura Suarez
Pervin Spaces and Frith Frames: Bitopological Aspects and Completion. Appl. Categorical Struct. 31 (5) (2023)
Célia Borlido, Mai Gehrke
Substitution Principle and semidirect products. Math. Struct. Comput. Sci. 33 (6) (2023)
Célia Borlido, Mai Gehrke
Substitution Principle and semidirect products. CoRR (2021)
Célia Borlido, Brett McLean
Difference-restriction algebras of partial functions with operators: discrete duality and completion. CoRR (2020)
Célia Borlido, Brett McLean
Difference-restriction algebras of partial functions: axiomatisations and representations. CoRR (2020)
Célia Borlido, Mai Gehrke
A note on powers of Boolean spaces with internal semigroups. CoRR (2018)
Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
Difference hierarchies and duality with an application to formal languages. CoRR (2018)
Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs
Stone Duality and the Substitution Principle. CSL (2017)
Jorge Almeida, Célia Borlido
Complete κ-reducibility of pseudovarieties of the form DRH. Int. J. Algebra Comput. 27 (2) (2017)
Célia Borlido
The κ-word problem over DRH. Theor. Comput. Sci. 702 (2017)