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 "Joosten, Joost J."  

Mostrando ítems 1-2 de 2

    • 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

      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 ...