×

微分等价的符号计算。 (英语) Zbl 1347.68258号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016).

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
60年28日 连续时间Markov过程在离散状态空间中的应用
60年第68季度 规范和验证(程序逻辑、模型检查等)
68瓦30 符号计算和代数计算
92立方厘米 系统生物学、网络
92E20型 化学中的经典流动、反应等
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接