ambient; substructural logic; semi-structured data; tree automata; presburger arithmetic;
机译:不确定的命题双峰逻辑和带计数的一变量一阶线性时间逻辑
机译:低组件数逻辑探头可与TTL和CMOS逻辑一起使用
机译:使用混合动力STT-MTJ / CMOS电路的新型低功率和晶体管计数磁算术逻辑单元
机译:逻辑计数吗?演绎逻辑作为一般计算理论
机译:酷儿数据:医疗量化和关于计数的重要性
机译:精通自然数的逻辑不是精通计数的结果:来自较晚计数器的证据
机译:描述计数的逻辑以及它们可以且无法计算的逻辑