The term orderings which are compatible with composition II

• Autores: Jinwang Liu, Mingsheng Wang, Zhuojun Liu
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 35, Nº 2, 2003, págs. 153-168
• Idioma: inglés
• Texto completo no disponible (Saber más ...)