paperbot · PL 论文追踪

RSS

Weihrauch-completeness for layerwise computability

LMCS vol.Volume 14, Issue 22018
Arno Pauly, Willem Fouché, George Davie

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time operators, which share the Weihrauch degree of the former examples but fail to be layerwise computable.

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot403,
  title = {Weihrauch-completeness for layerwise computability},
  author = {Arno Pauly and Willem Fouché and George Davie},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 14, Issue 2},
  year = {2018},
  doi = {10.23638/lmcs-14(2:11)2018}
}