机译:即使使用单例字母,完整且就绪的仿真语义也不是基于BCCSP的有限关系
ICE-TCS, School of Computer Science. Reykjavik University, Menntavegur I, IS 101 Reykjavik, Iceland;
Departamento de Sistemas Informaticos y Computation, Universidad Complutense de Madrid, Spain;
Departamento de Sistemas Informaticos y Computation, Universidad Complutense de Madrid, Spain;
ICE-TCS, School of Computer Science. Reykjavik University, Menntavegur I, IS 101 Reykjavik, Iceland;
concurrency; process algebra; complete simulation; ready simulation; equational logic; non-finitely based algebras;
机译:关于A. Salomaa的问题-单例字母上的正则表达式的等式理论不是有限的
机译:迈向基于GPU的完整的基于FEM的仿真工具包:具有基于稀疏近似逆的强大平滑器的非结构化网格有限元几何多网格求解器
机译:迈向基于GPU的完整的基于FEM的仿真工具包:具有基于稀疏近似逆的强大平滑器的非结构化网格有限元几何多网格求解器
机译:关于有限字母和无限基础II:已完成和准备模拟
机译:基于域分解的有限元的混合方法和生物分子模拟中的有限差异和应用
机译:具有弹性束缚边缘薄板弯曲振动的数据:有限元方法与波的方法模拟
机译:在有限字母表和无限基础上II:完成并准备好模拟
机译:完全消除单身人士的种类