机译:在S-Cartesian仿函数类别中重写双重推行 - 重写理论和应用于部分三格图
Philipps-Universität Marburg;
Technische Universität Darmstadt;
Technische Universität Darmstadt;
Philipps-Universität Marburg;
Functor category; Adhesive category; Double-pushout-rewriting; Triple graphs;
机译:模论在函子类别中的某些应用
机译:模论在函子类别中的某些应用
机译:倾斜理论和函子类别III。地图类别
机译:具有部分三重图实例化的函子类别的胶粘剂子类别
机译:神经构造,A-无穷函子和微分渐变类别的同伦理论。
机译:Baire范畴的一般原理及其在功能理论和其他领域的应用
机译:模块理论对函数类别的一些应用
机译:动态信息管理和交换命令和控制应用程序,通过术语重写建模和实施基于类别的访问控制。