Mathematical Institute, SANU, Knez Mihailova 35, p.f. 367, 11001 Belgrade, Yugoslavia;
categorial proof theory; conjunction and disjunction; decidability of equality of deductions;
机译:遗传类别的表征,相当于加权投影线上的某些连贯的滑轮类别
机译:同态相干范畴理论和单类别范畴的A(无穷)结构
机译:在加权投影线上的界限衍生类别的界衍生类别的有界T结构
机译:连贯的Bicartesian和Sesquicartesian类别
机译:用于类别相干脚轮的矩阵因子
机译:帕金森氏病患者基于程序的类别学习:类别编号和类别连续性的影响
机译:相干的Bicartesian和sesquicartesian类别