Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic
- Clavel, M.
- Meseguer, J.
- Palomino, M.
ISSN: 1571-0661
Año de publicación: 2004
Volumen: 71
Páginas: 110-126
Tipo: Aportación congreso