paperbot · PL 论文追踪

RSS

The Third Trick

LMCS vol.Volume 18, Issue 32022
Hannes Diener, Matthew Hendtlass

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

原文摘要(Abstract)

We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions.

链接与引用

DOI 原文 ·

BibTeX
@article{paperbot1667,
  title = {The Third Trick},
  author = {Hannes Diener and Matthew Hendtlass},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 18, Issue 3},
  year = {2022},
  doi = {10.46298/lmcs-18(3:21)2022}
}