...
机译:用解开证明正规条件词改写系统计算等价变换的合理性
机译:通过与线性相关的超属性进行条件词重写系统的拆解工作的可靠性
机译:确定性条件术语重写系统通过与线性相关的超性能进行拆解的可靠性
机译:解开确定性条件重写系统的健全性条件
机译:条件术语重写系统中的元计算
机译:声音,中枢听觉神经系统功能和步态:安静且局部的声源对正常和非典型中枢听觉神经系统功能者的步态的影响
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:在正常和氧化应激条件下Fkh1和Fkh2与Sir2结合以控制CLB2转录
机译:用散点法证明正规条件重写系统的计算等价变换的可靠性
机译:条件术语重写系统不相交联合的唯一正规形式