Title of Publication :Effective codescent morphisms and term rewriting systems
Publication type:Conference Proceedings
Journal/Publisher :Proceedings of "International Matematica User Conference", Champaign, USA, 2009, Effective codescent morphisms and term rewriting systems
Keyword(s) :effctive codescent morphisms, terms, term rewriting system