×

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

最新的 引文 关联
詹姆斯·赫福德；亚历克斯·基辛格

关于时空的前体和前体结构。 （英语） 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公司 链接
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；加布里埃尔·费雷拉·席尔瓦；特默尔库西亚；丹尼尔·南特斯·索布里尼奥

标称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）
全文： 内政部
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日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13992349-370页（2023年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。13992、349--370（2023；Zbl 07770345）
全文： 内政部 arXiv公司
鲁本·图尔肯堡；克莱门斯·库普克；朱里安·罗特；埃兹拉·肖恩

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

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

带有一元计数器的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公司
斯特凡·霍夫曼

Parikh自动机的同步。 （英语） Zbl 07766938号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌莫，2023年6月12日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 113-127 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.霍夫曼}，莱克特。注释计算。科学。13911、113--127（2023；Zbl 07766938）
全文： 内政部
安苏曼·班纳吉；金淑·查特吉；什巴希斯·古哈

在无限字母表上设置增广有限自动机。 （英语） 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；Zbl 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届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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日，德国柏林，2022年第18届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13759, 132-160 (2023).
MSC公司：68T05型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lee}和\textit{Z.Yang}，Lect。注释计算。科学。13759132-160（2023年；Zbl 1529.68259）
全文： 内政部
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。14000、301至320（2023年；兹比尔1529.68177）
全文： 内政部
海克·卫尔海姆；劳拉·巴格曼；布里杰什·多戈尔

在具有事件结构的弱记忆模型中推理承诺。 （英语） Zbl 1529.68181号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 282-300 (2023).
MSC公司：68问题85 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Wehrheim}等人，Lect。注释计算。科学。14000、282--300（2023年；Zbl 1529.68181）
全文： 内政部 arXiv公司 链接
文森佐·西安西亚；Jan Friso，格鲁特；迭戈·拉特拉；梅克·马西克；埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） Zbl 1529.68155号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
伊内克·范德伯格；安德烈亚·德·多梅尼科；朱塞佩·格雷科；克里希纳·B·马诺卡尔。；亚历山德拉·帕尔米吉亚诺；马蒂亚·帕内蒂埃

基于格的模态逻辑的标记计算。 （英语） Zbl 07728686号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 23-47 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Berg}等人，Lect。注释计算。科学。13963，23-47（2023；Zbl 07728686）
全文： 内政部
Sedlár，伊戈尔

关于带域的Kleene代数的复杂性。 （英语） Zbl 07728641号

Glück，Roland（编辑）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13896, 208-223 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Sedlár}，莱克特。注释计算。科学。13896208-223（2023；Zbl 07728641）
全文： 内政部
维克托·亨利克森；曼弗雷德·库夫莱特纳

禁止在有限和无限单词上使用（mathrm{FO}^2）交替的模式。 （英语） Zbl 07727034号

发现的国际期刊。计算。科学。 34，编号2-3，183-224（2023）.
MSC公司：65年第68季度 03C13号机组 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Henriksson}和\textit{M.Kufleitner}，国际法学研究所。计算。科学。34，编号2--3，183-224（2023；Zbl 07727034）
全文： 内政部 arXiv公司
帕特里夏·鲍耶；奥尔纳·库普弗曼；尼古拉斯·马基；巴斯蒂安·莫伯特；阿尼埃洛·穆拉诺；朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号

ACM事务处理。计算。日志。 24，第3号，第21号论文，38页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，ACM Trans。计算。日志。24，第3号，第21号论文，38页（2023；Zbl 07713582）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件