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
Année de publication: 2004
Volumen: 71
Pages: 110-126
Type: Communication dans un congrès