Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic
- Clavel, M.
- Meseguer, J.
- Palomino, M.
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2004
Alea: 71
Orrialdeak: 110-126
Mota: Biltzar ekarpena