...
机译:关于β-前置群的逻辑
Department of Logic and Computer Science University of Warmia and Mazury Żołnierska 14 Olsztyn Poland;
Pregroup; β-pregroup; normalization theorem; cut elimination;
机译:类型逻辑和预分组
机译:一些预群的结构和长度函数
机译:无限词组的无限词和非标准补全
机译:预先将微积分作为逻辑函数
机译:双互锁逻辑:针对单事件逻辑错误的辐射加固设计技术
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:带字母促销的预组文法
机译:具有模型,预组和余代数的类别。分类avec modeles,prefaisceaux et Coalgebres