...
机译:线性时间的高阶模式反统一
Johannes Kepler Univ Linz, RISC, Linz, Austria;
Johannes Kepler Univ Linz, RISC, Linz, Austria;
Spanish Council Sci Res CSIC, Artificial Intelligence Res Inst IIIA, Barcelona, Spain;
Univ Girona UdG, Dept Informat & Matemat Aplicada IMA, Girona, Spain;
Generalizations of lambda terms; Anti-unification; Higher-order patterns;
机译:高阶公正模式反统一
机译:高阶反统一的变种
机译:与保形平稳时空线性相关的高阶平均曲率的Spacelike超曲面的稳定性
机译:高阶抗统一的变种
机译:高阶边界元法在稳定船波问题和非线性重力波时域仿真中的应用。
机译:线性时间的高阶模式反统一
机译:线性时间的高阶模式反统一