Scifaro

中文

拉链逻辑

组合数学 2014-06-10 v1 计算机科学中的逻辑几何拓扑

作者: Marius Buliga

在 arXiv 上查看 ↗ PDF ↗

摘要

拉链逻辑是一种图重写系统，仅由一类拉链图上的局部重写组成。本文探讨了其与 chemlambda 人工化学以及基于纽结图表示的计算之间的联系。

关键词

拉链逻辑图重写系统拉链图 chemlambda 人工化学纽结图表示

引用

@article{arxiv.1405.6095,
  title  = {Zipper logic},
  author = {Marius Buliga},
  journal= {arXiv preprint arXiv:1405.6095},
  year   = {2014}
}

备注

16 pages, 24 colour figures