中文

论关系约束的闭集与变量替换下封闭的函数类

逻辑 2015-08-10 v1 组合数学

摘要

Pippenger 关于有限函数和关系约束的 Galois 理论被推广到无限情形。所涉及的函数是定义在集合 AA 上、取值于可能不同的集合 BB 的多元函数,其中 AABB 之一或两者可以是有限或无限的。

关键词

引用

@article{arxiv.1508.01558,
  title  = {On closed sets of relational constraints and classes of functions closed under variable substitutions},
  author = {Miguel Couceiro and Stephan Foldes},
  journal= {arXiv preprint arXiv:1508.01558},
  year   = {2015}
}

备注

arXiv admin note: text overlap with arXiv:0810.3212