Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
Manuel Clavel, José Meseguer, Miguel PalominoVolume:
71
Year:
2004
Language:
english
Pages:
17
DOI:
10.1016/s1571-0661(05)82531-9
File:
PDF, 254 KB
english, 2004