Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Clavel, M.
- Meseguer, J.
- Palomino, M.
ISSN: 0304-3975
Ano de publicación: 2007
Volume: 373
Número: 1-2
Páxinas: 70-91
Tipo: Artigo