×

找到1479份文件（结果1-100）

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

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

数学。笔记 114，编号6，1260-1276（2023）; 翻译自Mat.Zametki 114，No.6，827-847（2023）。
MSC公司：03Fxx公司 03Bxx号 03立方厘米xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Konovalov}，数学。附注114，第6号，1260--1276（2023；Zbl 07820497）；翻译自Mat.Zametki 114，No.6，827--847（2023）
全文： DOI程序
丁毅文；克里希纳·马诺卡尔；阿波斯托洛斯·齐莫利斯；王若丁；王晓龙

因果克里普克模型。 （英语） 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）
全文： DOI程序 arXiv公司
亚西尔·马哈茂德；乔尼·维特玛

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

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。第29届国际研讨会，WoLLIC 2023，加拿大新南威尔士州哈利法克斯，2023年7月11日至14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 274-291 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Mahmood}和\textit{J.Virtema}，莱克特。注释计算。科学。13923274--291（2023；Zbl 07810570）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
OA许可证
海克·卫尔海姆；劳拉·巴格曼；布里杰什·多戈尔

在具有事件结构的弱记忆模型中推理承诺。 （英语） 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）
全文： DOI程序 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）
全文： DOI程序
伊内克·范德伯格；安德烈亚·德·多梅尼科；朱塞佩·格雷科；克里希纳·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）
全文： DOI程序
维克托·亨利克森；曼弗雷德·库夫莱特纳

禁止在有限和无限单词上使用（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）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
亚历杭德罗·迪亚斯·卡洛；Gilles Dowek

自然演绎中的一个新连接词及其在量子计算中的应用。 （英语） 兹比尔1529.81040

西奥。计算。科学。 957，文章ID 113840，27 p.（2023）.
MSC公司：81页68 32E05型 68甲18 03B38型 68伏15 第81页，共15页 81页第10页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Díaz-Caro}和\textit{G.Dowek}，Theor。计算。科学。957，文章ID 113840，27 p.（2023；Zbl 1529.81040）
全文： DOI程序 哈尔
迈克尔·本尼迪克特；斯坦尼斯拉夫·基科特；彼得罗·奥斯特罗尔斯基·纳莱瓦贾；米盖尔·罗梅罗

递归查询和视图的单调确定性和可重写性。 （英语） Zbl 07672675号

ACM事务处理。计算。日志。 24，第2号，第16号论文，62页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，《美国医学杂志》。计算。日志。24，第2号，第16号论文，62页（2023；Zbl 07672675）
全文： DOI程序 arXiv公司
乔治·奥德里托；罗伯特·卡萨迪；费卢西奥·达米亚尼；米尔科·维罗利

针对邻居的计算：使用函数编程和Scala解决大规模分布和适应性问题。 （英语） Zbl 07667096号

日志。方法计算。科学。 19，第1号，第6号论文，59页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit｛G.Audrito｝等人，日志。方法计算。科学。19，第1号，第6号论文，59页（2023年；Zbl 07667096）
全文： DOI程序 arXiv公司
卡塔里娜·卡瓦略；佛罗伦萨马德琳；巴纳比·马丁；德米特里·朱克

量化约束的复杂性：可折叠性、可切换性和代数公式。 （英语） Zbl 07650601号

ACM事务处理。计算。日志。 24，第1号，第5号论文，第26页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Carvalho}等人，ACM Trans。计算。日志。24，第1号，第5号论文，第26页（2023年；Zbl 07650601）
全文： DOI程序 arXiv公司 链接
克里斯托弗·马瑟亚；詹斯·佩格尔；弗洛里安·祖勒格

保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号

ACM事务处理。计算。日志。 24，第1期，第1号论文，76页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{C.Matheja}等人，《美国医学杂志》。计算。日志。24，第1期，第1号论文，76页（2023；Zbl 07650597）
全文： DOI程序 arXiv公司 链接
尼克·贝扎尼什维利；卢卡·卡莱；西尔维奥·吉拉尔迪；露西娅·兰迪

（\Pi_2）推理规则的可容许性：插值、模型完成和接触代数。 （英语） Zbl 07601551号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103169，31页（2023）.
MSC公司：03B45号 03C10号机组 06E25年 54E05型
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103169，31页（2023；Zbl 07601551）
全文： DOI程序 arXiv公司
彼得·吉普森；塔德乌兹·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） 兹伯利07823891

加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).
MSC公司：03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891）
全文： DOI程序 arXiv公司
劳拉，博泽利；阿德里亚诺·佩隆

无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，97-113（2022）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155）
全文： arXiv公司 链接
博利格，贝内迪克特；阿诺德·桑尼尔；奥利维尔·斯蒂特尔

具有数据的局部一阶逻辑的存在片段。 （英语） Zbl 1530.68125号

Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，1-16（2022）。
MSC公司：19年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370，1--16（2022；Zbl 1530.68125）
全文： arXiv公司 链接
尼古拉·甘比诺；西蒙·亨利

朝向单价基础的构造性简化模型。 （英语） Zbl 1527.18022号

J.隆德。数学。社会学，II。序列号。 105，第2期，1073-1109（2022）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号45 03G30型 03楼50
PDF格式BibTeX公司 XML格式引用
\textit｛N.Gambino｝和\textit｛S.Henry｝，J.Lond。数学。社会学，II。序列号。105，编号2，1073--1109（2022；Zbl 1527.18022）
全文： DOI程序 arXiv公司
多哥卡里莫夫；Edon Kelmendi；约尔·瓦克宁；詹姆斯·沃雷尔

离散线性动力系统的决定因素是什么？ （英语） Zbl 1528.68228号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 21-38 (2022).
MSC公司：60年第68季度 03B25号 11层37 第37页第10页 93个B03
PDF格式BibTeX公司 XML格式引用
\textit｛T.Karimov｝等人，Lect。注释计算。科学。13660，21-38（2022；Zbl 1528.68228）
全文： DOI程序 arXiv公司
凯文·巴茨；伊拉·费塞费尔特；马文·詹森；Joost-Pieter卡托恩；弗洛里安·科勒；克里斯托夫·马提亚；诺尔，托马斯

定量分离逻辑中蕴含检查的基础。 （英语） Zbl 1528.68208号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 57-84 (2022).
MSC公司：60年第68季度 03B70号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Batz}等人，Lect。注释计算。科学。13240，57-84（2022；Zbl 1528.68208）
全文： DOI程序 arXiv公司
马可·米兰尼斯；弗朗西斯科·兰扎托

带测试的Kleene代数上的局部完备性逻辑。 （英语） Zbl 1524.68098号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 350-371 (2022).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Milanese}和\textit{F.Ranzato}，莱克特。注释计算。科学。13790、350-371（2022年；Zbl 1524.68098）
全文： DOI程序 arXiv公司 链接
文森佐·西安西亚；迭戈·拉特拉；梅克·马西克；埃里克·P·德文克。

空间中的前后：关于闭包空间中的逻辑和双相似性。 （英语） Zbl 1524.68213号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 98-115 (2022).
MSC公司：68问题85 03B70号 54A05型
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。13560，98-115（2022；Zbl 1524.68213）
全文： DOI程序
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；弗洛里安·芬克；西蒙·扬奇；雅各布皮里鲍尔；罗宾·齐梅克

操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185）
全文： DOI程序
科宁，诺林；伯恩德·芬克贝纳；哈达尔·弗兰克尔；克里斯托弗·哈恩；尼古拉斯·梅茨格；朱利安·西伯

反应系统中的时间因果关系。 （英语） Zbl 1522.68304号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 208-224 (2022).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Coenen}等人，Lect。注释计算。科学。13505208-224（2022；Zbl 1522.68304）
全文： DOI程序
阿米罗申·阿克巴尔·塔巴塔拜

挖掘曲面：见证算法的低复杂性定理。 （英语） 兹伯利07691335

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 378-394 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Akbar Tabatabai}，莱克特。注释计算。科学。13468，378--394（2022；Zbl 07691335）
全文： DOI程序
安德烈亚·德·多梅尼科；阿里·法贾米；克里希纳·马诺卡尔；亚历山德拉·帕尔米吉亚诺；玛蒂亚·帕内蒂尔；王晓龙

从属代数作为输入/输出逻辑的语义环境。 （英语） Zbl 1521.03032号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 326-343 (2022).
审核人：David Makinson（伦敦）
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.De Domenico}等人，Lect。注释计算。科学。13468，326--343（2022；Zbl 1521.03032）
全文： DOI程序 arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件