Publicaciones en colaboración con investigadores/as de Universidad de Salamanca (8)

2009

  1. Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

    INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008

  2. Rewriting logic using strategies for neural networks: An implementation in Maude

    Advances in Soft Computing

2007

  1. Solving Sudoku Puzzles with Rewriting Rules

    Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 79-93