Deduction, Strategies, and Rewriting
- Eker, S.
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 11 SPEC. ISS.
Pages: 3-25
Type: Article
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 11 SPEC. ISS.
Pages: 3-25
Type: Article