2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 2 cited
Computable structures on topological manifolds
Marcelo A. Aguilar, Rodolfo Conde
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability…
cs.DC2015
The solvability of consensus in iterated models extended with safe-consensus
Rodolfo Conde, Sergio Rajsbaum
The safe-consensus task was introduced by Afek, Gafni and Lieber (DISC' 09) as a weakening of the classic consensus. When there is concurrency, the consensus output can be arbitrar…