×

找到3393个文档（结果1–100）

最新的 引文 关联
A.Yu Konovalov。

基本谓词演算相对于严格原始递归可实现性的修改版本来说是合理的。 （英语。俄文原件） Zbl 07820497号

数学。笔记 114，编号6，1260-1276（2023）; 翻译自Mat.Zametki 114，No.6，827-847（2023）。
MSC公司：03Fxx公司 03Bxx号 03Cxx号
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Konovalov}，数学。附注114，第6号，1260--1276（2023；Zbl 07820497）；翻译自Mat.Zametki 114，No.6，827--847（2023）
全文： 内政部
詹姆斯·赫福德;亚历克斯·基辛格

关于时空的前体和前体结构。 （英语） Zbl 07813635号

杰德（Jade）等硕士，第五届应用范畴理论国际会议论文集，ACT 2022，英国格拉斯哥，2022年7月18日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）380、284-306（2023）。
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{J.Hefford}和\textit{A.Kissinger}，电子。程序。西奥。计算。科学。（EPTCS）380，284--306（2023；Zbl 07813635）
全文： 内政部 arXiv公司
伯纳德·博伊格洛特;帕斯卡·方丹;巴普蒂斯特·韦尔盖因

自动机上的通用一阶量化。 （英语） Zbl 07810926号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 91-102 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。注释计算。科学。14151，91-102（2023；Zbl 07810926）
全文： 内政部 arXiv公司 链接
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特默尔库西亚;Nantes Sobrinho，丹尼尔

标称AC匹配。 （英语） Zbl 07810723号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 53-68 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，Lect。注释计算。科学。14101、53-68（2023；Zbl 07810723）
全文： 内政部
丁毅文;克里希纳·马诺卡尔;阿波斯托洛斯·齐莫利斯;王若丁;王晓龙

因果Kripke模型。 （英语） Zbl 07810614号

Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379185-200（2023）。
MSC公司：03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{Y.Ding}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，185--200（2023；Zbl 07810614）
全文： 内政部 arXiv公司
亚西尔·马哈茂德;乔尼·维特玛

命题包含和独立逻辑的参数化复杂性。 （英语） Zbl 07810570号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。第29届国际研讨会，WoLLIC 2023，加拿大新南威尔士州哈利法克斯，2023年7月11日至14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923274-291（2023年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Mahmood}和\textit{J.Virtema}，莱克特。注释计算。科学。13923274--291（2023；Zbl 07810570）
全文： 内政部 arXiv公司
Le，Quang Loc公司;Le，Xuan-Bach D。

分离逻辑片段中的一种有效循环蕴涵过程。 （英语） Zbl 07770351号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 477-497 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛Q.L.Le｝和\textit｛X.-B.D.Le｝，Lect。注释计算。科学。13992、477--497（2023；Zbl 07770351）
全文： 内政部 arXiv公司
加勒坦杜埃努·塔博特

卵石最小化：最后的定理。 （英语） Zbl 07770349号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 436-455 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Douéneau-Tabot}，莱克特。注释计算。科学。13992、436--455（2023；Zbl 07770349）
全文： 内政部 arXiv公司
乌迪·博克;赫费兹，盖伊

关于折扣和自动机与多个折扣因子的比较。 （英语） Zbl 07770346号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 371-391 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{G.Hefetz}，莱克特。注释计算。科学。13992、371--391（2023；Zbl 07770346）
全文： 内政部 arXiv公司
托马斯·亨辛格（Thomas A.Henzinger）。;尼古拉斯·马佐奇;萨拉索，N.Ege

定量安全性和活性。 （英语） Zbl 07770345号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 349-370 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。13992349-370（2023年；兹bl 07770345）
全文： 内政部 arXiv公司
鲁本·图尔肯堡;克莱门斯·库普克;朱里安·罗特;埃兹拉·肖恩

通过可逆步骤保存和反映双重相似性。 （英语） Zbl 07770344号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 328-348 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.Turkenburg}等人，Lect。注释计算。科学。13992、328--348（2023；Zbl 07770344）
全文： 内政部
菲利普·马佐维耶基;辛克莱·班克斯，亨利;卡洛尔·沃格日茨基

带有一元计数器的2-VASS中的可覆盖性是NP。 （英语） Zbl 07770338号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 196-217 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Mazowiecki}等人，Lect。注释计算。科学。13992、196--217（2023；Zbl 07770338）
全文： 内政部 arXiv公司
陈志波;弗兰克·芬宁

具有高阶有理（循环）项的逻辑框架。 （英语） Zbl 07770332号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 68-88 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{Z.Chen}和\textit{F.Pfenning}，Lect。注释计算。科学。13992、68--88（2023；Zbl 07770332）
全文： 内政部 arXiv公司
丹尼尔·艾哈曼

当程序不得不看着油漆变干时。 （英语） 兹比尔07770329

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 1-23 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}，莱克特。注释计算。科学。13992，1--23（2023；Zbl 07770329）
全文： 内政部 arXiv公司
安苏曼·班纳吉;金淑·查特吉;什巴希斯·古哈

在无限字母表上设置增广有限自动机。 （英语） Zbl 07766932号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 36-50 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，Lect。注释计算。科学。13911，36-50（2023年；兹bl 07766932）
全文： 内政部 arXiv公司
亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特

《没有贝丝和克雷格的生活：描述和模态逻辑中的定义和解释》，包含名词和角色。 （英语） Zbl 07760995号

ACM事务处理。计算。日志。 24，第4号，第34号论文，51页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{A.Artale}等人，ACM翻译。计算。日志。24，第4号，第34号论文，51页（2023；Zbl 07760995）
全文： 内政部 arXiv公司
OA许可证
陈日增;夏碧灿

确定涉及一元混合三角多项式的一阶公式。 （英语） Zbl 07760757号

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145-154 (2023).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Chen}和\textit{B.Xia}，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145--154（2023年；Zbl 07760757）
全文： 内政部
布赖恩特·伊斯雷尔森;兰登·泰勒;张震

化学反应网络中稀土分析的高效痕量生成。 （英语） Zbl 07750357号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，SPIN 2023，法国巴黎，2023年4月26日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13872页、第83-102页（2023年）。
MSC公司：68问题85 92立方厘米 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Israelsen}等人，Lect。注释计算。科学。13872，83-102（2023；Zbl 07750357）
全文： 内政部
丽贝卡·根泽尔;劳伦特·米歇尔;威廉·扬·范霍夫

Haddock中决策图的优化边界。 （英语） Zbl 07745659号

Andre A.Cire（编辑），《约束编程、人工智能和运筹学的集成》。2023年5月29日至6月1日，第20届国际会议，CPAIOR 2023，法国尼斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13884, 150-166 (2023).
MSC公司：68T20型 900亿 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Gentzel}等人，Lect。注释计算。科学。13884、150--166（2023；Zbl 07745659）
全文： 内政部
劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜

一种用于通用符号协议分析的具有不可约性和SMT约束的高效规范收缩实现。 （英语） Zbl 07741961号

J.日志。阿尔盖布。方法计划。 135，文章ID 100895，27 p.（2023）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{R.López-Rueda}等人，J.Log。阿尔盖布。方法计划。135，文章ID 100895，27 p.（2023；Zbl 07741961）
全文： 内政部 arXiv公司
豪尔赫·范丁诺;西姆兰·米什拉;哈维尔·罗梅罗;托尔斯滕·绍布

答案集编程变得简单。 （英语） Zbl 1529.68070号

Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 133-150 (2023).
MSC公司：68N17号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Fandinno}等人，Lect。注释计算。科学。13160133-150（2023年；Zbl 1529.68070）
全文： 内政部 arXiv公司
Lee，Joohyng先生;Yang、Zhun

回答集编程的统计关系扩展。 （英语） Zbl 1529.68259号

Bertossi，Leopoldo（编辑）等人，《推理网络》。因果关系、解释和陈述性知识。2022年9月27日至30日，德国柏林，第18所2022年国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13759, 132-160 (2023).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lee}和\textit{Z.Yang}，Lect。注释计算。科学。13759132-160（2023年；Zbl 1529.68259）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件