Inst. of Cybernetics, Tallinn Technical Univ., Akadeemia tee 21, EE-12618 Tallinn, Estonia;
algebras of terms; non-wellfounded terms; substitution; iteration of guarded substitution rules; monads; hyperfunctions; finitely or possibly infinitely branching trees;
机译:广义全术语和广义全超替代的深度
机译:Ni稀溶质取代对其普通堆叠故障能量和延展性的影响
机译:α-氯-O-肟醚的广义异头作用; DFT,NBO和AIM研究对各种替代的影响
机译:广义取代理论
机译:密码子替代模型中的广义固定效应模型和基于似然性的聚类。
机译:由于细胞分化等位编码密码子的通用替换缩短了瞬时基因转染的角质形成细胞中乳头瘤病毒L1蛋白表达的持续时间
机译:功能性阶梯状曲面,翻转和广义替代