首页> 外文OA文献 >A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

【2h】

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

机译：Isabelle / HOL中符号轨迹评估语义的新形式化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Li Yongjian; Hung William N.N.; Song Xiaoyu;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL [J] . Yongjian Li, William N. N. Hung, Xiaoyu Song Theoretical computer science . 2011,第25期

机译：Isabelle / HOL中符号轨迹评估语义的新形式化
2. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL [J] . Thiemann Rene, Bottesch Ralph, Divason Jose, Journal of Automated Reasoning . 2020,第5期

机译：ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
3. Formalizing the Cox-Ross-Rubinstein Pricing of European Derivatives in Isabelle/HOL [J] . Echenim Mnacho, Guiol Herve, Peltier Nicolas Journal of Automated Reasoning . 2020,第4期

机译：在伊莎贝尔/霍尔的欧洲衍生品正式形成欧洲衍生物的Cox-Ross-Rubinstein定价
4. Formalizing Graph Trail Properties in Isabelle/HOL [C] . Laura Kovacs, Hanna Lachnitt, Stefan Szeider International Conference on Intelligent Computer Mathematics . 2020

机译：在Isabelle / HOL中正式化图迹属性
5. Towards first-order symbolic trajectory evaluation using MDGs. [D] . Li, Donglin. 2006

机译：迈向使用MDG的一阶符号轨迹评估。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL [O] . René Thiemann, Ralph Bottesch, Jose Divasón, 2020

机译：ISAbelle / HOL中的LLL基础减少算法和LLL分解算法

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL

著录项

引文网络

相似文献

相关主题

期刊订阅