尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。
We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions.
DOI 原文 ·
@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}
}