Categorial grammar; Contraction rule; Undecidability;
机译:充满竞争的完全兰伯克计算
机译:完全非缔合性Lambek结石的序列关系的不确定性
机译:π演算中的通信错误无法确定
机译:新提议的CatLog3微积分的不确定性
机译:干燥综合征干燥小鼠模型(SS)的泪腺炎性细胞因子的上调:性激素的影响和新提出的SS机制。
机译:用于读取小肠胶囊内窥镜检查的电流和新的人工智能算法
机译:具有次指数和括号的Lambek演算的不可判定性 模式