The following pages link to Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (Q278228):
Displaying 1 item.