Deduction, Strategies, and Rewriting
- Eker, S.
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 11 SPEC. ISS.
Páginas: 3-25
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 11 SPEC. ISS.
Páginas: 3-25
Tipo: Artículo