Publicaciones en las que colabora con MIGUEL PALOMINO TARJUELO (6)

2012

  1. Rewriting logic bibliography by topic: 1990-2011

    Journal of Logic and Algebraic Programming

2009

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

    Advances in Soft Computing

2007

  1. Strategies and simulations in a semantic framework

    Journal of Algorithms, Vol. 62, Núm. 3-4, pp. 95-116

2006

  1. Introducción a la computación

    Grupo Anaya

2005

  1. A tutorial on specifying data structures in Maude

    Electronic Notes in Theoretical Computer Science

  2. Playing with Maude

    Electronic Notes in Theoretical Computer Science