机译:有限树上的嵌套语义在公式上很难
BRICS (Basic Research in Computer Science), Centre of the Danish National Research Foundation, Department of Computer Science, Aalborg University, Fr. Bajersvej 7E, 9220 Aalborg Φ, Denmark;
concurrency; process algebra; BCCSP; nested simulation; possible futures; nested trace semantics; equa-tional logic; complete axiomatizations; non-finitely based algebras; hennessy-milner logic;
机译:局部精炼嵌套笛卡尔网格上不可压缩Navier-Stokes方程的保守有限体积方法
机译:在北部硬木管理的森林景观中,对单树选择造林的烤箱鸟(Seiurus aurocapilla)人口统计和巢址选择
机译:在北部硬木管理的森林景观中,对单树选择造林的烤箱鸟(Seiurus aurocapilla)人口统计和巢址选择
机译:2嵌套模拟在方程式上不是有限可合理化的
机译:南部沿海平原湿地上硬木树的营养成分(浓度,方程,宏观,元素,底特律硬木)
机译:样品异质性发现方法的比较:结构方程模型树和有限混合物模型
机译:有限树上的嵌套语义在公式上很难
机译:具有有限等式最终语义规范的自然数据类型但没有有效的等式初始语义规范