机译:对合非结合Lambek演算
Adam Mickiewicz Univ, Poznan, Poland;
Lambek calculus; Linear logic; Phase space; Sequent system; Type grammar; Context-free grammar;
机译:涉及涉及的非分子化兰贝克微积分
机译:关于单位的非缔合Lambek演算的复杂性
机译:循环渐开分布Lambek微积分是可决定的
机译:关于经典非缔合Lambek微积分
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:与年龄相关的用沃德三角测量的骨矿物质密度和I骨小梁体积的不同渐进变化的研究
机译:涉及涉及的非分子化兰贝克微积分
机译:Lambek微积分富含附加连接