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
Datum der Publikation: 2004
Ausgabe: 71
Seiten: 110-126
Art: Konferenz-Beitrag