The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

机译：线性单步重写的一阶理论还不确定

机译：左线性右地重写系统的一阶重写理论自动化

机译：痕迹半体中一步重写的可确定一阶理论

机译：线性Noetherian系统中的一步重写的一步理论是不可判定的

机译：具有乘法噪声的无约束/约束动态游戏的一阶算法和识别线性动态系统

机译：一阶剪切变形理论在阶梯式功能梯度一般抛物面壳振动分析中的应用

机译：线性规范系统中一步重写的一阶理论的不可判定性

机译：非线性系统的典范传播器：理论和样本应用。

机译：存储器中的重写控制系统，存储器中的重写控制方法以及用于存储程序的信息的记录介质，其中该程序中的每个步骤都精确地控制了存储器中的重写

机译：用于闪存的存储器重写系统，用于控制存储器中的重写的方法以及用于存储程序的信息记录介质，该程序中的每个步骤都用于控制用于控制存储器中的重写的方法

机译：基于双线性凸优化理论的电力系统双线性鲁棒估计方法