Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
2004 ◽
Vol 71
◽
pp. 110-126
◽
2007 ◽
Vol 373
(1-2)
◽
pp. 70-91
◽
2001 ◽
Vol 59
(4)
◽
pp. 271-285
◽
1994 ◽
Vol 04
(02)
◽
pp. 257-275
Keyword(s):
Keyword(s):
1998 ◽
Vol 15
◽
pp. 388-393
◽
2000 ◽
Vol 236
(1-2)
◽
pp. 35-132
◽