×

嵌入代数–嵌套顺序的代数结构。 (英语) 兹比尔1445.08001

摘要:本文讨论的是“叠瓦代数”,即签名中含有一个二元算子的泛代数,即构成有序对的算子,这里称为“配对算子”,并以“有序对的特征性质”作为其唯一公理。第一作者早些时候将这些代数作为“聚合代数”的约简引入,泛代数是作为集合论的模型提出的,便于数据结构的形式化。术语“聚合”用于概括集合论的三个基本概念:集合、原子和有序对。因此,本文通过将焦点缩小到一种主要的约简类型——处理有序对的约简,从而启动了对聚合代数的研究。

MSC公司:

08A70号 泛代数在计算机科学中的应用
68第05页 数据结构
PDF格式BibTeX公司 XML格式引用
全文: 链接