structural operational semantics; programming languages; congruence formats; Modular SOS; higher-order bisimulation;
机译:关于向量值Siegel模形式的行列式的计算
机译:向量值Siegel模块化形式的计算
机译:Siegel模块化函数的特殊值的最小多项式的计算
机译:计算和值的模块化双仿真理论
机译:考虑价值构建的整合理论:基于感知控制理论的价值作为目标命题的实证检验
机译:化学理论与计算特色:化学理论与计算
机译:用于计算和值的模块化互模拟理论