×

找到2374个文档（结果1-100）

最新的 引文 关联
Kołodziejczyk、Leszek Aleksander;王天乐;Keita横山

Ramsey关于对、集合和证明大小的定理。 （英语） Zbl 07845701号

数学杂志。日志。 24，第2号，文章ID 2350007，40 p.（2024）.
MSC公司：20层03 03B30型 35楼03号 10年5月 30楼03号 35层03 2015年上半年03日
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Kołodziejczyk}等人，《数学杂志》。日志。24，第2号，文章ID 2350007，40 p.（2024；Zbl 07845701）
全文： 内政部 arXiv公司
Faizrahmanov，M.Kh。

一个编号最少但并非最少的家族。 （英语。俄文原件） Zbl 07825253号

同胞。数学。J。 65，编号2，381-391（2024）; 来自Sib的翻译。材料Zh。65，第2期，394-406（2024年）。
MSC公司：03年月日 03年XX月 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kh.Faizrahmanov}，西布。数学。J.65，No.2，381--391（2024；Zbl 07825253）；来自Sib的翻译。材料Zh。65，第2号，394--406（2024）
全文： 内政部
安德烈亚·梅迪尼;佐尔坦，维迪尼安斯基

零维\（\西格玛\）-齐次空间。 （英语） Zbl 1532.54019号

Ann.纯粹应用。逻辑 175，第1号，文章ID 103331，21页（2024）.
审核人：米罗斯拉夫·雷皮克（科希策）
MSC公司：05年5月54日 03E15年 03E60年
PDF格式BibTeX公司 XML格式引用
\textit{A.Medini}和\textit{Z.Vidnyánszky}，Ann.Pure Appl。逻辑175，第1号，文章ID 103331，21页（2024；Zbl 1532.54019）
全文： 内政部 arXiv公司
V.N.克鲁普西。

证明逻辑尖锐模型中术语的规范化LP。 （英语。俄文原件） Zbl 07854929号

莫斯克。大学数学。牛市。 78，编号6，309-312（2023）; 维斯特翻译。莫斯科。州立大学。I 78，编号6，52-55（2023）。
MSC公司：03Bxx号 03Fxx公司
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Krupski}，摩斯。大学数学。牛市。78、编号6、309--312（2023；Zbl 07854929）；维斯特翻译。莫斯科。州立大学。I 78，编号6，52-55（2023）
全文： 内政部
弗洛里安·布鲁斯;马丁·兰格;莫勒、舍伦

关于自然科学实验中影响的形式推理。 （英语） Zbl 07838485号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 153-169 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{F.Bruse}等人，Lect。注释计算。科学。14132，153--169（2023；Zbl 07838485）
全文： 内政部
乌里亚伯拉罕;莫里斯·波泽

没有无限反链的偏序集的链覆盖数。（Le nombre de chaànes recuvrant un ensembly ordonésans antichaânes infinies） （英语。法语摘要） Zbl 07811805号

C.R.，数学。，阿卡德。科学。巴黎 361, 1383-1399 (2023).
MSC公司：03E05号 06A07年
PDF格式BibTeX公司 XML格式引用
\textit{U.Abraham}和\textit{M.Pouzet}，C.R.，数学。，阿卡德。科学。巴黎361，1383-1399（2023；Zbl 07811805）
全文： 内政部 arXiv公司
OA许可证
伊利亚州夏皮罗夫斯基

非（k）着色图的模态逻辑的可判定性。 （英语） Zbl 07810575号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 351-361 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Shapirovsky}，莱克特。注释计算。科学。13923、351--361（2023；Zbl 07810575）
全文： 内政部 arXiv公司
费德里科·法罗尔迪。;阿特菲·罗哈尼;托马斯·施图德

证明逻辑中的条件义务。 （英语） Zbl 07810564号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 178-193 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.L.G.Faroldi}等人，Lect。注释计算。科学。13923、178--193（2023；Zbl 07810564）
全文： 内政部
罗洁婷;托马斯·施图德;迈赫迪·达斯塔尼

提供个性化解释：对话方式。 （英语） Zbl 1531.68127号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 121-137 (2023).
MSC公司：68T27型 03B42号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{J.Luo}等人，Lect。注释计算。科学。14156121-137（2023年；Zbl 1531.68127）
全文： 内政部 arXiv公司
克里斯蒂安·卡钦;大卫·莱纳;托马斯·施图德

多智能体系统的模态和理由逻辑（邀请演讲）。 （英语） Zbl 1528.68363号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 3-8 (2023).
MSC公司：68T27型 03B42号 03B45号 68T42型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Cachin｝等人，Lect。注释计算。科学。14156，3--8（2023；Zbl 1528.68363）
全文： 内政部
Nguyán、LáThánh Dũng;Straßburger，卢茨

相互作用和结构的系统。三： 复杂的英属维尔京群岛和Pomset逻辑。 （英语） Zbl 07788997号

日志。方法计算。科学。 19，第4号，第25号论文，60页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{L.T.D.Nguyén}和\textit{L.Straßburger}，Log。方法计算。科学。19，第4号，第25号论文，60页（2023年；Zbl 07788997）
全文： 内政部 arXiv公司
OA许可证
瓦斯科·布拉特卡

关于学习计划的复杂性。 （英语） Zbl 07787579号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 166-177 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}，莱克特。注释计算。科学。13967、166--177（2023年；Zbl 07787579）
全文： 内政部 arXiv公司
洛伦佐·加莱奥蒂;Lewis，Ethan S。;Löwe，Benedikt公司

超限可计算性的对称性。 （英语） Zbl 07787571号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 65-76 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Galeotti}等人，Lect。注释计算。科学。13967，65-76（2023年；兹bl 07787571）
全文： 内政部 arXiv公司
玛丽亚·索斯科娃。

枚举度中局部结构和全局结构之间的关系。 （英语） Zbl 07787567号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 17-22 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Soskova}，莱克特。注释计算。科学。13967，17-22（2023；Zbl 07787567）
全文： 内政部
穆拉德·贝拉霍

可定义函数在某些可定义完全局部o-极小展开和几乎o-极小结构的Grothendieck环中的充要性和连续性。 （英语） 兹比尔1533.03027

Rad Hrvat公司。阿卡德。兹南。乌姆杰特。 555，Mat.Znan公司。27, 1-9 (2023).
审核人：Fujita Masato（库尔）
MSC公司：03C64号 03C60型
PDF格式BibTeX公司 XML格式引用
\文本{M.Berraho}，Rad Hrvat。阿卡德。锌安。乌姆杰特。，Mat.Znan.材料。555（27），1-9（2023；Zbl 1533.03027）
全文： 内政部
安东·弗伦德;迈克尔·拉特扬

迭代\（\Pi^1_1\）-理解的有序性原则。 （英语） Zbl 07756888号

选择。数学。，新序列号。 29，第5号，第76号论文，83页（2023年）.
审核人：杰弗里·赫斯特（布恩）
MSC公司：03B30型 03D60年 2015年1月3日 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.Freund}和\textit{M.Rathjen}，塞尔。数学。，新序列号。29，第5号，第76号论文，83页（2023；Zbl 07756888）
全文： 内政部 arXiv公司
OA许可证

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件