Author

David Fernández-Duque

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference 2026

It was unknown whether the DTL of Alexandrov spaces is computably enumerable, and model search techniques are used to provide an affirmative answer.

Niels C. Vooijs, David Fernández-Duque · Logic in Computer Science · 0 citations