雅各布·科纳鲁普 权力派中的奇偶排序。 （英语） Zbl 0925.68119号 信息处理。莱特。 61，第1期，15-24页（1997年）. 引用于1文件 MSC公司： 68页第10页 搜索和排序 68N99型 软件理论 关键词：程序推导;并行算法;函数式编程;编程计算 PDF格式BibTeX公司 XML格式引用 \textit{J.Kornerup}，Inf.流程。莱特。61，No.1，15--24（1997；Zbl 0925.68119） 全文： 内政部 参考文献： [1] Adams，W.E.，使用功率表验证加法器电路，（技术代表CS-TR-94-02（1994），德克萨斯大学奥斯汀分校计算机科学系） [2] Batcher，K.，《分拣网络及其应用》（Proc.AFIPS Spring Joint Computer Conf.，Vol.32（1968），AFIPS Press），307-314，Reston，VA [3] 黄，C.-H。；Lengauer，C.，双音排序跟踪变换的自动证明，Theoret。计算。科学。，46, 261-284 (1986) ·兹比尔0618.68053 [4] Knuth，D.E.，《计算机程序设计的艺术》，第3卷：排序和搜索（计算机科学和信息处理系列（1973），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0302.68010号 [5] Kornerup，J.，将并行程序的函数符号映射到超立方体，Inform。过程。莱特。，53, 153-158 (1995) ·Zbl 0875.68405号 [6] Leighton，F.T.，《并行算法和架构导论：阵列》。树木。Hypercubes（1992），Morgan Kaufmann:加州Morgan Koufmann San Mateo·Zbl 0743.68007号 [7] Misra，J.，《Powerlist:并行递归的结构》，ACM-Trans。编程语言系统，16，6，1737-1767（1994） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。