Célia Borlido

According to our database, Célia Borlido authored at least 9 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Pervin Spaces and Frith Frames: Bitopological Aspects and Completion.

Célia Borlido, Anna Laura Suarez

Appl. Categorical Struct., October, 2023

Substitution Principle and semidirect products.

Célia Borlido, Mai Gehrke

Math. Struct. Comput. Sci., 2023

2020

Difference-restriction algebras of partial functions with operators: discrete duality and completion.

Célia Borlido, Brett McLean

CoRR, 2020

Difference-restriction algebras of partial functions: axiomatisations and representations.

Célia Borlido, Brett McLean

CoRR, 2020

2018

Difference hierarchies and duality with an application to formal languages.

Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing

CoRR, 2018

A note on powers of Boolean spaces with internal semigroups.

Célia Borlido, Mai Gehrke

CoRR, 2018

2017

The κ-word problem over DRH.

Célia Borlido

Theor. Comput. Sci., 2017

Complete κ-reducibility of pseudovarieties of the form DRH.

Jorge Almeida, Célia Borlido

Int. J. Algebra Comput., 2017

Stone Duality and the Substitution Principle.

Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017