搜索结果: 1-1 共查到“理学 Higher-dimensional normalisation strategies”相关记录1条 . 查询时间(0.062 秒)
Higher-dimensional normalisation strategies for acyclicity
Higher-dimensional normalisation strategies acyclicity
font style='font-size:12px;'>
2010/11/9
We introduce acyclic track polygraphs, a notion of complete categorical cellular models for small categories: they are polygraphs containing generators, with additional invertible cells for relations ...