机译:线性相等证明的相等性
Mathematical Institute Knez Mihailova 36 p.f. 367 11001 Belgrade Serbia;
Mathematical Institute Knez Mihailova 36 p.f. 367 11001 Belgrade Serbia;
Equality; Linear logic; Preordering relation; Equivalence relation; Congruence relation; Equality of proofs; Categorial coherence; Generality of proofs; Monoidal categories; Adjunction; 03F07; 03F05; 03F52; 03G30; 18C05; 18A40; 18D10;
机译:线性相等证明的相等性
机译:具有非线性等式和不等式约束的非线性规划的广义记忆梯度投影方法
机译:具有非线性等式和不等式约束的非线性规划的广义记忆梯度投影方法
机译:关于秘密平等的非交互式零知识证明系统的黑匣子延伸
机译:国际组织和性别平等:联合国性别平等
机译:UEG平等与多样性工作组–实现平等
机译:线性平等证明的等价性