迭代插入策略与基础遍历及失败的合一和组合
计算机科学中的逻辑
2019-04-25 v1 符号计算
摘要
我们引入一类由导航策略与上下文插入组成的新项扩展。我们在此类上引入一种组合运算，该运算满足结合律、存在中性元，且每个扩展都是幂等的。该类扩展也被证明在组合下封闭，并给出构造性证明。这一新框架具有通用性且独立于任何应用语义。然而，它是为一个旨在辅助多尺度偏微分方程模型推导的软件工具内核而引入的。
引用
@article{arxiv.1904.10901,
title = {Unification and combination of iterative insertion strategies with rudimentary traversals and failure},
author = {Walid Belkhir and Nicolas Ratier and Duy Duc Nguyen Michel Lenczner},
journal= {arXiv preprint arXiv:1904.10901},
year = {2019}
}
备注
arXiv admin note: substantial text overlap with arXiv:1904.07668