...
机译:高阶模式普通化实践实行理论
RISC Johannes Kepler University Linz Austria FMV Johannes Kepler University Linz Austria;
RISC Johannes Kepler University Linz Austria;
Simply typed lambda calculus; anti-unification; equational theories; higher-order patterns;
机译:基于一阶和高阶剪切变形理论的基于非局部弹性理论的嵌入弹性矩阵中的多层纳米板本构方程解耦
机译:高阶模型方程描述的类脉冲空间模式
机译:德莱特勒的弯曲地形流动理论流动:迭代衍生,跨临界流溶液和高阶波型方程
机译:高阶惰性缩小演算:高阶方程的求解器
机译:一些高阶抽象微分方程的存在性结果及其在偏微分方程(PDE)中的应用。
机译:时间尺度上的微分方程差分方程和动态方程的定性理论
机译:高阶模式概括模数等级理论