Computer Science Department, University of Illinois at Urbana-Champaign, 201 N. Goodwin, Urbana, IL 61801-2302, United States;
Departamento de Sistemas Informaticos y Computacion, Universidad Complutense de Madrid, C/Profesor Garcia Santesmases, 28040 Madrid, Spain;
Departamento de Sistemas Informaticos y Computacion, Universidad Complutense de Madrid, C/Profesor Garcia Santesmases, 28040 Madrid, Spain;
rewriting logic; stuttering simulations; representability results; kripke structures; model checking;
机译:平面关系代数对嵌套关系代数的仿真,并应用于计算幂集代数表达式的复杂度
机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:使用准全球化学和代数化学发光模型,预混的CH4凹槽式火焰的大型涡流模拟近距离限制。
机译:基于提示的与代数循环共同模拟配置
机译:求解油藏模拟方程时要纳入代数多重网格
机译:量子簇代数和量子幂等代数
机译:平面关系代数对嵌套关系代数的仿真,并应用于计算幂集代数表达式的复杂度
机译:用一致的微分 - 代数边界条件直接模拟逆流火焰。