机译:用于可达性和等价属性的可判定类别的安全协议
机译:决定下降过程的语义有限性和一阶语法W.R.T.双刺激等价
机译:确定有限值流串传感器的等效性
机译:亚递归程序模式I和II(I。不可确定的等价问题,II。可确定的等价问题)
机译:它如何决定在该领土上?采矿冲突治理。 Andalgalá,Catamarca和Famatina,在La Rioja的病例。 (2005-2016)=谁决定领土?采矿冲突治理:西门田和名人的Andalgalá病例
机译:校正:决定不决定:顺序选择中隐藏行为的计算和神经证据
机译:关于DOL系统的序列等价问题的可判定性