重写系统和Gröbner基于计算Kan扩展和关系之间的身份的应用

摘要：论文标题：重写和Groebner基方法在组合问题中的发展与应用

作者：Anne Heyworth (University of Wales Bangor)

论文ID：math/9812097

分类：Category Theory

分类简称：math.CT

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中