Scifaro

中文

轻型字典序路径排序

编程语言 2007-05-23 v1 计算复杂性

作者: E. A. Cichon , J-Y. Marion

在 arXiv 上查看 ↗ PDF ↗

摘要

我们介绍了字典序路径排序的语法限制，以获得轻型字典序路径排序。我们表明，轻型字典序路径排序导致对在输入大小的多项式空间限制内可计算函数的特征描述。

关键词

字典序路径排序多项式空间终止排序项重写语法限制

引用

@article{arxiv.cs/0010008,
  title  = {The Light Lexicographic path Ordering},
  author = {E. A. Cichon and J-Y. Marion},
  journal= {arXiv preprint arXiv:cs/0010008},
  year   = {2007}
}