Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Fernández Duque, David"  

Mostrando ítems 1-5 de 5

    • Artículo
      Icon

      A colouring protocol for the generalized Russian cards problem 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Elsevier, 2013)
      In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a ...
    • Artículo
      Icon

      A geometric protocol for cryptography with cards 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Springer, 2015)
      In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from ...
    • Artículo
      Icon

      A secure additive protocol for card players 

      Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (University of Queensland, 2012)
      Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards ...
    • Artículo
      Icon

      Dynamic Topological Logic of Metric Spaces 

      Fernández Duque, David (Cambridge University Press, 2012)
      Dynamic Topological Logic (DT L) is a modal framework for reasoning about dynamical systems, that is, pairs hX; fi where ...
    • Artículo
      Icon

      Predicativity through Transfinite Reflection 

      Cordón Franco, Andrés; Fernández Duque, David; Joosten, Joost J.; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2017)
      Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use as a formalization of “φ is provable ...