大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 （英语） 兹伯利07810626 Verbrugge，Rineke（编辑），《第十九届理性与知识理论方面会议记录》，TARK，英国牛津，2023年6月28日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）379344-358（2023年）。MSC公司：91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人，《电子》。程序。西奥。计算。科学。（EPTCS）379，344--358（2023；Zbl 07810626） 全文： 内政部 arXiv公司
奥利维·芬克尔;维萨·哈拉瓦;特罗·哈尔朱;萨赫拉，埃萨 关于双无限和共轭后对应问题。 （英语） Zbl 07799053号 西奥·雷罗。通知。申请。 57，第7号论文，第11页（2023年）.MSC公司：03天35分 03天40 03D55号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}等人，RAIRO，Theor。通知。申请。57，第7号论文，第11页（2023；Zbl 07799053） 全文： 内政部 arXiv公司
马丁·拉西克;戴维·巴恩斯;Sr Djan Krstić;德米特里·特拉泰尔 任意关系演算查询的有效评估。 （英语） Zbl 07789010号 日志。计算方法。科学。 19，第4号，第38号论文，40页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Raszyk}等人，《日志》。计算方法。科学。19，第4号，第38号论文，40页（2023；Zbl 07789010） 全文： 内政部 arXiv公司
阿纳尔多·塞斯科;罗伯托·戈里埃里 有限有界Petri网两个真正并发等价的判定性。 （英语） Zbl 07789009号 日志。计算方法。科学。 19，第4号，第37号论文，37页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cesco}和\textit{R.Gorrieri}，Log。计算方法。科学。19，第4号，第37号文件，第37页（2023；Zbl 07789009） 全文： 内政部 arXiv公司
维姆·马滕斯;马蒂亚斯·尼沃思;蒂娜，波普 常规线索查询的三分法。 （英语） Zbl 07788992号 日志。计算方法。科学。 19，第4号，第20号论文，38页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}等人，《日志》。计算方法。科学。19，第4号，第20号论文，第38页（2023；Zbl 07788992） 全文： 内政部 arXiv公司
帕特里夏·鲍耶;尤索夫·乌阿尔哈德;米凯尔·兰多尔;皮埃尔·范登霍夫 随机博弈中与竞技场无关的有限记忆确定性。 （英语） Zbl 07788990号 日志。计算方法。科学。 19，第4号，第18号论文，51页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Log。计算方法。科学。19，第4号，第18号论文，51页（2023；Zbl 07788990） 全文： 内政部 arXiv公司
柯斯汀·彼得斯;乌韦州内斯特曼;克里斯托夫·瓦格纳 FTMPST：容错多方会话类型。 （英语） Zbl 07788986号 日志。计算方法。科学。 19，第4号，第14号论文，39页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人，日志。计算方法。科学。19，第4号，第14号论文，39页（2023；Zbl 07788986） 全文： 内政部 arXiv公司
丹尼尔·穆萨托夫;乔治·波塔波夫 理性交互证明的结构复杂性。 （英语） Zbl 07787584号 Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13967, 231-245 (2023).MSC公司：03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.穆萨托夫}和\textit{G.波塔波夫}，莱克特。注释计算。科学。13967、231--245（2023；Zbl 07787584） 全文： 内政部 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许可证
威廉·康雷迪;黛拉·莫妮卡，达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 （英语） Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司：03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛W.Conradie｝等人，《模糊集系统》。456107-124（2023年；Zbl 1522.03069） 全文： 内政部
Balasubramanian，A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 （英语） Zbl 07753362号 日志。计算方法。科学。 19，第4号，第2号论文，44页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人，日志。计算方法。科学。19，第4号，第2号论文，44页（2023；Zbl 07753362） 全文： 内政部 arXiv公司
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 正式舞蹈语言理论。 （英语） Zbl 07731937号 日志。计算方法。科学。 19，第3号，第9号论文，36页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，日志。计算方法。科学。19，第3号，第9号论文，36页（2023；Zbl 07731937） 全文： 内政部 arXiv公司
马可·贝尔纳多;克劳迪奥·梅齐纳。 桥接因果可逆性和时间可逆性：随机过程代数方法。 （英语） Zbl 07731917号 日志。计算方法。科学。 19，第2号，第6号论文，27页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}和\textit{C.A.Mezzina}，Log。计算方法。科学。19，第2号，第6号论文，27页（2023；Zbl 07731917） 全文： 内政部 arXiv公司
达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔 定时系统的最优控制器综合。 （英语） Zbl 07731909号 日志。计算方法。科学。 19，第1号，第20号论文，77页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Busatto-Gaston}等人，日志。计算方法。科学。19，第1号，第20号论文，77页（2023；Zbl 07731909） 全文： 内政部 arXiv公司
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 （英语） Zbl 1529.68159号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 495-513 (2023).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人，Lect。注释计算。科学。14000、495至513（2023年；兹比尔1529.68159） 全文： 内政部 arXiv公司
海克·卫尔海姆;劳拉·巴格曼;布里杰什·多戈尔 在具有事件结构的弱记忆模型中推理承诺。 （英语） 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公司 链接
莫里斯·比克。;吉列尔米娜·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 122-141 (2023).MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165） 全文： 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 （英语） Zbl 07713585号 ACM事务处理。计算。日志。 24，第3条，第24条，第32页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，ACM Trans。计算。日志。24，第3号，第24条，第32页（2023；Zbl 07713585） 全文： 内政部
雅各布·托兰;弗洛里安·沃兹 图微分的变量数和图同构公式的解析。 （英语） Zbl 07713584号 ACM事务处理。计算。日志。 24，第3条，第23条，第25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Torán}和\textit{F.Wörz}，ACM Trans。计算。日志。24，第3号，第23条，第25页（2023；Zbl 07713584） 全文： 内政部
Jan A.Bergstra。;约翰·V·塔克。 求有理数算术的等式。 （英语） Zbl 07713583号 ACM事务处理。计算。日志。 24，第3条，第22条，第28页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛J.A.Bergstra｝和\textit｛J.V.Tucker｝，ACM Trans。计算。日志。24，第3号，第22条，第28页（2023；Zbl 07713583） 全文： 内政部
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 （英语） 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公司
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 （英语） Zbl 07713580号 ACM事务处理。计算。日志。 24，第3条，第19条，第21页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi}，ACM翻译。计算。日志。24，第3号，第19条，第21页（2023；Zbl 07713580） 全文： 内政部
汤姆·佩特尔;斯泽德，斯特凡 为了解决问题，很难找到公式吗？ （英语） Zbl 07696121号 离散应用程序。数学。 337, 173-184 (2023).MSC公司：68泰克 68季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Peitl}和\textit{S.Szeider}，离散应用程序。数学。337173--184（2023年；Zbl 07696121） 全文： 内政部 arXiv公司
安蒂·瓦尔马里;你好，劳里 具有未定义真值的正则谓词逻辑的完整性证明。 （英语） Zbl 1522.03063号 圣母院J.形式逻辑 64，第1号，61-93（2023）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari}和\textit{L.Hella}，圣母院J.形式逻辑64，No.1，61-93（2023；Zbl 1522.03063） 全文： 内政部 arXiv公司
迪特马尔·伯旺格;劳伦特·多恩 观察与区分：在无限游戏中表示信息。 （英语） Zbl 07680317号 理论计算。系统。 67，第1期，4-27（2023年）.MSC公司：68季度xx 91轴 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}和\textit{L.Doyen}，理论计算。系统。67，编号1，4--27（2023；Zbl 07680317） 全文： 内政部 链接
詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂;马西耶·加兹达;Robert M.Hierons。 使用CSP模型进行测试：时间、输入和输出。 （英语） Zbl 07672676号 ACM事务处理。计算。日志。 24，第2号，第17条，第40页（2023）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}等人，ACM Trans。计算。日志。24，第2号，第17条，40页（2023；Zbl 07672676） 全文： 内政部 链接
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田、Nobuko 异步多方会话的精确子类型。 （英语） Zbl 07672673号 ACM事务处理。计算。日志。 24，第2条，第14条，73页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14条，73页（2023；Zbl 07672673） 全文： 内政部 arXiv公司
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托尔科夫斯卡;约瑟夫·维德 阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号 日志。计算方法。科学。 19，第1号，第5号论文，25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，日志。计算方法。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095） 全文： 内政部 arXiv公司
弗朗西斯科·达尼诺;保拉·吉安尼尼;马里亚纽拉州Dezani-Ciancaglini 已取消对异步会话的全局类型的限制。 （英语） Zbl 07667093号 日志。计算方法。科学。 19，第1号，第3号论文，41页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}等人，日志。计算方法。科学。19，第1号，第3号论文，41页（2023；Zbl 07667093） 全文： 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir，安娜 一阶分支时间属性的双向运行时强制。 （英语） Zbl 07667087号 日志。计算方法。科学。 19，第1号，第14号论文，44页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，日志。计算方法。科学。19，第1号，第14号论文，44页（2023；Zbl 07667087） 全文： 内政部 arXiv公司
罗宾·皮埃德鲁;法比奥·扎纳西 使用字符串图对有限状态自动机进行有限公理化。 （英语） Zbl 07667086号 日志。计算方法。科学。 19，第1号，第13号论文，38页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Piedeleu}和\textit{F.Zanasi}，日志。计算方法。科学。19，第1号，第13号论文，38页（2023；Zbl 07667086） 全文： 内政部 arXiv公司
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 \（\mathsf{GR}（1）\）等价于\（\mathf{R}（一）\）。 （英语） 兹比尔1529.03188 信息处理。莱特。 179，文章ID 106319，8 p.（2023）.MSC公司：03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，Inf.过程。莱特。179，文章ID 106319，8 p.（2023；Zbl 1529.03188） 全文： 内政部
Wałga，Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 （英语） Zbl 1512.03029号 Ann.纯粹应用。逻辑 174，第1号，文章ID 103165，33页（2023）. 审核人：贾科莫·伦齐（费西亚诺） MSC公司：03B44号 03B70号 03B45号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga}，Ann.纯应用。逻辑174，第1号，文章ID 103165，33页（2023；Zbl 1512.03029） 全文： 内政部