Computational properties of term rewriting with strategy annotations

• Autores: Salvador Lucas Alba
• Localización: Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.), Fernando Cuartero Gómez (ed. lit.), Diego Cazorla López (ed. lit.), 2001, págs. 17-32
• Idioma: inglés
• Texto completo no disponible (Saber más ...)