佐藤泰莱;小一和田;吉崎片山 为带灯的自主移动机器人收集问题。 (英语) 兹伯利07638362 西奥。计算。科学。 941, 241-261 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Terai}等人,Theor。计算。科学。941、241--261(2023;Zbl 07638362) 全文: 内政部 arXiv公司
斯蒂芬·阿尔斯特鲁普;瑟伦·达尔加德;阿诺德·菲尔泽;莫滕·斯特克尔;克里斯蒂安·沃尔夫·尼尔森 在近线性时间内确定地构造轻型扳手。 (英语) Zbl 1534.68136号 西奥。计算。科学。 907, 82-112 (2022).MSC公司:68升10 05C22号 05C85号 68第05页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.Alstrup}等人,Theor。计算。科学。907,82-112(2022;Zbl 1534.68136) 全文: 内政部 arXiv公司 链接
谢宁;徐帅;徐叶坤 一种新的基于编码的向量对查找算法。 (英语) Zbl 1425.68476号 西奥。计算。科学。 782, 129-144 (2019).MSC公司:68瓦40 68周05 68瓦20 94B99型 PDF格式BibTeX公司 XML格式引用 \textit{N.Xie}等人,Theor。计算。科学。782、129--144(2019年;Zbl 1425.68476) 全文: 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝 在类型理论逻辑框架中表示模型理论。 (英语) Zbl 1236.03027号 西奥。计算。科学。 412,第37号,4919-4945(2011).MSC公司:03B70号 03B10号机组 03C98号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Horozal}和\textit{F.Rabe},Theor。计算。科学。412,第37、4919-4945号(2011;Zbl 1236.03027) 全文: 内政部
吉安·伊夫·吉拉德 交互几何。五: 超有限因子中的逻辑。 (英语) Zbl 1230.03093号 西奥。计算。科学。 412,第20期,1860-1883(2011).MSC公司:03楼52 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{J.-Y.Girard},Theor。计算。科学。412,第20号,1860--1883(2011;Zbl 1230.03093) 全文: 内政部