默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

计算机科学中的逻辑方法，第19卷

>主页 >期刊销售 >计算机科学中的逻辑方法

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2023年第19卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/NicolaM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/NicolaM23
洛科·德·尼古拉,埃尔南·梅尔格拉蒂:
多方测试预订单。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Garner23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Garner23
理查德·加纳:
流处理器和组件模型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DagninoGD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DagninoGD23
弗朗西斯科·达尼诺,保拉·贾尼尼,Mariangiola Dezani-Ciancaglini公司:
取消定义异步会话的全局类型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Bhaduri 23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Bhaduri网址23
普兰达尔·巴杜里:
半环上加权自动机互模拟的余代数。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/lmcs/0001LSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/0001LSW23
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,伊利娜·斯托伊尔科夫斯卡,约瑟夫·威德:
阈值自动机和拜占庭模型检查器的参数化验证综述。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AudritoCDV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AudritoCDV23
乔治·奥德里托,罗伯托·卡萨迪,费鲁西奥·达米亚尼,米尔科·维罗利:
邻域计算：用函数编程和Scala解决大规模分布和适应性问题。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Nester23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Nester23
查德·内斯特:
并行过程历史和资源转换器。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BalcoK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BalcoK23
塞缪尔·巴尔科,亚历山大·库兹:
标称PROP的完整性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BankovicDM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BankovicDM23
米兰班科维奇,伊万·德雷村,菲利普·马里克:
图（非）同构验证的证明系统。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FismanNZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FismanNZ23
达纳·费斯曼,多拉夫·尼泰,米查尔·齐夫·乌克尔森:
学习结构明确的概率语法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/JancarOS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/JancarOS23
彼得·詹卡尔,彼得·奥西卡,兹德内克·萨瓦:
倒计时游戏和（简洁的）单计数器网络模拟。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BlanquiDGHT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BlanquiDGHT23
弗雷德里克·布兰基,吉尔斯·道克,埃米利·格里恩伯格,加布里埃尔·霍德特,弗朗索瓦·塞雷:
类型理论的模块化结构。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/PiedeleuZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/PiedeleuZ23
罗宾·皮埃德鲁,法比奥·扎纳西:
使用弦图的有限状态自动机的有限公理化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AcetoCFI23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AcetoCFI23
卢卡·埃特罗,伊恩·卡萨尔,阿德里安·弗兰卡兰扎,Anna Ingólfsdóttir女士:
一阶分支时间属性的双向运行时强制。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BaetenCL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BaetenCL23
Jos C.M.Baeten先生,塞萨尔·卡里西莫,巴斯·卢提克:
互模拟语义中的下推自动机和上下文无关语法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MayrM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MayrM23
理查·马,埃里克·蒙迪:
可计数MDP中点收益、平均收益和总收益目标的战略复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/lmcs/TranKW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/TranKW23
Thanh-Hai Tran公司,伊戈尔·康诺夫,约瑟夫·威德:
故障检测器参数验证案例研究。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AlvimAKQV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AlvimAKQV23
马里奥·阿尔维姆,伯纳多·阿莫林,索菲亚·奈特,圣地亚哥·昆特罗,弗兰克·巴伦西亚:
社会网络中确认偏差下极化的形式化模型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Kapur23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kapur23
迪帕克·卡普尔:
模块化和结合结合交换同余闭包算法丰富了语义属性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BusattoGastonMR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BusattoGastonMR23
达米安·巴斯托·加斯顿,本杰明·蒙梅格,皮尔雷·阿莱恩·雷尼尔:
定时系统的最优控制器综合。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BalabonskiLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BalabonskiLM23
蒂鲍特·巴拉邦斯基,安托万·兰科,纪尧姆·梅尔金德:
强大的按需计算能力。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BartolettiMZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BartolettiMZ23
马西莫·巴托莱蒂,毛里齐奥·穆尔吉亚,罗伯托·祖尼诺:
PCTL的合理近似和渐近概率互模拟。

2023年第19卷第2期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Shulman 23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Shulman23
迈克尔·舒尔曼:
线性逻辑的LNL多范畴和学说。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BeyersdorffB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BeyersdorffB23
奥拉夫·贝耶斯多夫,本杰明·伯姆:
了解QBF-CDCL解算器的相对强度和QBF分辨率。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AbadiP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AbadiP23
马丁·阿巴迪,戈登·普洛金:
聪明的选择和选择单子。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/VismeW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/VismeW23
马克·德维斯梅,格林·温斯克:
因果展开和分离原因。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FismanFZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FismanFZ23
达纳·费斯曼,Hadar Frenkel公司,桑德拉·齐勒斯:
推断符号自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BernardoM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BarnardoM23
马可·贝尔纳多,克劳迪奥·安塔雷斯·梅齐纳:
桥接因果可逆性和时间可逆性：一种随机过程代数方法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DinisM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DinisM23网站
布鲁诺·迪尼斯,埃蒂安·米奎:
非标准分析的有状态实现器。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/JongE23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/JongE23
汤姆·德容,Martín Hötzel Escardó:
论单价基础中的小型基础。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BlanchetteV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BlanchetteV23
布兰切特,彼得·武克米洛维奇:
SAT激励高阶消除。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/GrooteMV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GrooteMV23
简·弗里索·格鲁特,简·马滕斯,埃里克·德文克:
通过分区优化降低相互模拟的位数。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DasR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DasR23
阿努帕姆·达斯,亚历克斯·赖斯:
枚举独立线性推断。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Bakel23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Bakel23
斯特芬·范·贝克尔:
给Lambda Mu加上否定。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BeutnerF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BeutnerF23
瑞文·贝特纳,伯恩德·芬克贝纳:
HyperATL*：多代理系统中超属性的逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Drier23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Drier23
简·德雷尔:
Lacon分解、灌木分解和奇偶分解：有界扩展类的特征转换。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BaldanEKP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BaldanEKP23
保罗·巴尔丹,理查德·艾格特,芭芭拉·科尼格,托马索·帕多安:
固定点理论-倒置。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/lmcs/RungeBPTS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/RungeBPTS23
托比亚斯·隆格,塔比亚·博迪斯,亚历克斯·波塔宁,托马斯·图姆,伊娜·谢弗:
灵活的正确施工规划。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Grabmayer23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Grabmayer23
克莱门斯抓斗手:
Milner正则表达式模双相似度证明系统的共创性改进。

2023年第19卷第3期

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/lmcs/SpreenB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/SpreenB23
Dieter Spreen公司,乌尔里希·伯杰:
用无限对象计算：格雷码案例。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CastiglioniLT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CastiglioniLT23
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
在不可预测的环境中衡量程序健壮性的框架。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FowlerKDLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FowlerKDLM23
西蒙·福勒,文科克,奥内拉·达达,萨姆·林德利,J.加勒特·莫里斯:
顺利分离会话。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/HabermehlK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/HabermehlK23
彼得·哈贝梅尔,迪特里希·库斯克:
关于Presburger算法，扩展了非一元计数量词。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Coquand23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Coquand23
蒂埃里·科昆:
证明无关类型命题的无约简归一化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/WangFZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/WangFZ23
王克旭,石广丰,赵喜顺:
通过二阶修正的Krom逻辑捕获多项式层次。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Kuperberg23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kuperberg23
丹尼斯·库珀伯格:
词和图的正一阶逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LoretiQ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LoretiQ23
米歇尔·洛雷蒂,米歇拉·夸德里尼:
简单模型的空间逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BarbaneraLT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BarbaneraLT23
弗朗科·巴巴内拉,伊万·拉尼斯,埃米利奥·托斯托:
形式舞蹈语言理论。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Kozachinskiy23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kozachinskiy23
亚历山大·科扎钦斯基:
持续头寸回报。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KaraNOZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KaraNOZ23
艾哈迈特·卡拉,米洛斯·尼科利奇,丹·奥尔特阿努,张浩哲:
层次查询的静态和动态评估中的权衡。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DoleschalKM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DoleschalKM23
约翰内斯·多雷沙尔,本尼·基梅尔菲尔德,维姆·马滕斯:
通过正则表达式提取聚合的复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CimattiGGMT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CimattiGGMT23
亚历山德罗·西马蒂,卢卡·盖蒂,尼古拉·吉甘特,安吉洛·蒙塔纳里,斯特凡诺·托内塔:
安全和协同安全语言的一阶逻辑特征。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AbramskyR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AbramskyR23
萨姆森·阿布拉姆斯基,卢卡·雷吉奥:
树木分类：资源公理化理论。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LavoreS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LavoreS23
埃琳娜·迪·拉沃雷,帕维尔·索博辛斯基:
单面宽度。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FeierLP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FieerLP23
克里斯蒂娜·费尔,卡斯滕·卢茨,马尔金·普日比尔科:
回答在防护TGD下计数。

2023年第19卷第4期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/PaulusNP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/PaulusNP23
约瑟夫·保卢斯,丹尼尔·南特斯·索布里尼奥,豪尔赫·佩雷斯:
非确定性函数作为非确定性过程（扩展版）。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BalasubramanianER23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BalasubramanianER23
A.R.巴拉苏布拉曼尼亚语,哈维尔·埃斯帕尔扎,米哈伊尔·拉斯金:
在无铅交会协议中找到截止点很容易。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/RandrianomentsoaDK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/RandrianomentsoaDK23
Rojo Fanamperana Randrianomentsoa公司,汉斯·范·迪特马尔施,罗曼·库兹涅茨:
不纯正的简单复合体：完全公理化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AmarilliP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AmarilliP23
安托万·阿马里利,查尔斯·帕普曼:
地方性和中心性：ZG的变种。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/VilhenaP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Vilenap23
保罗·埃米利奥·德维莱纳,弗朗索瓦·波蒂埃:
验证基于有效句柄的定义-按运行反向模式AD库。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BriceBR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BriceBR23
莱昂纳德·布里斯,玛丽·范登·博加德,Jean-François Raskin女士:
Mean-payoff游戏中的子游戏完美均衡（期刊版）。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Ehrhard23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Ehrhard23
托马斯·埃尔哈德:
相干差分PCF。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BokerL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BokerL23网站
乌迪·博克,卡罗琳娜·莱蒂宁:
代币游戏和历史确定性定量自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Blumensath23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Blumensath23
阿奇姆·布卢门萨特:
树代数的幂集构造。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/GagneP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GagneP23
尼古拉斯·加涅,普拉卡什·帕南加登:
标准Borel空间上相对熵的一种分类表征。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Slavnov23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Slavnov23
谢尔盖·斯拉夫诺夫:
使一阶线性逻辑成为生成语法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MandrioliPC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MandrioliPC23
迪诺·曼德里奥利,马泰奥·普拉德拉,斯特凡诺·克雷斯皮·雷吉齐:
运算符优先语言的非周期性、星-绿性和一阶逻辑可定义性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BocchiLTV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BocchiLTV23
劳拉·博奇,朱利安·兰格,西蒙·汤普森,A.Laura Voinea女士:
演员和灰色失败的模型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/PetersNW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/PetersNW23
柯斯汀·彼得斯,乌韦·内斯特曼,克里斯托夫·瓦格纳:
FTMPST：容错多方会话类型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CaselS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CaselS23
凯特琳·卡塞尔,马库斯·施密德:
规则路径查询的细粒度复杂性。
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/lmcs/Kelmendi23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kelmendi23
埃登·凯尔门迪:
计算线性递归序列的正集密度。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/GeckKSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GeckKSS23
盖塔诺·盖克,延斯·基佩勒,托马斯·施温蒂克,克里斯托弗·斯宾拉斯:
用非循环查询改写：小心你的头。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BouyerORV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BouyerORV23
帕特里夏·鲍耶,优素福·乌尔哈杰,米凯尔·兰德尔,皮埃尔·范登霍夫:
随机博弈中的竞技场独立有限元记忆确定性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/NassarA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/NassarA23网址
安东尼奥·阿布·纳赛尔,沙乌尔·阿尔马戈:
字母对字母传感器的轮次模拟。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MartensNP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MartensNP23
维姆·马滕斯,马蒂亚斯·尼沃斯,蒂娜·波普:
常规轨迹查询的三分法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Ciraulo23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Ciraulo23
弗朗西斯科·西罗洛:
重叠代数作为几乎离散区域。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Dudenhefner23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Dudenhefner23
安德烈·杜登赫夫纳:
从暂停问题到半统一的构造性多个约简（扩展版）。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Accattoli23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Accattoli23
贝尼亚米·阿卡托利:
线性逻辑中作为替代的指数和截除的代价。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/WinklerGK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/WinklerGK23
托比亚斯·温克勒,克里斯蒂娜·格南,Joost-Pieter Katoen公司:
递归概率程序的模型检验时间特性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/NguyenS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/NguyenS23
LêThành Dung Nguyên,Lutz Stra汉堡:
互动系统与结构III：BV与Pomset逻辑的复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FernandezDuqueM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FrenderandezDuqueM23
大卫·费尔南德斯·杜克,Yoáv Montacute一案:
动态康托导数逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Grabolle23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Grabolle23
古斯塔夫·格拉博勒:
交换半环上加权交替自动机的Nivat定理。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KokkeD23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KokkeD23
文科克,奥内拉·达达:
确定最佳变体的优先级。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CasadeiMPVZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CasadeiMPVZ23
罗伯托·卡萨迪,玛丽安妮,达尼洛·皮安尼,米尔科·维罗利,弗朗科·赞博内利:
自组织的空间流体自适应采样。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BroadbentK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BroadbentK23
安妮·布劳德本特,马尔蒂·卡沃宁:
分类可组合加密：扩展版本。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DahlqvistN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DahlqvistN23
弗雷德里克·达尔奎斯特,雷纳托·内维斯:
自治范畴的句法方面丰富了广义度量空间。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Kuznetsov23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kuznetsov23
斯蒂芬·库兹涅佐夫:
具有交集和常数的Lambek演算的关系模型。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/lmcs/Finkel23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FinkelL23
阿兰·芬克尔,埃蒂安·洛兹:
通信有限状态机的同步性是不确定的。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CerdaA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CerdaA23网站
雷米·塞尔达,莱昂内尔·沃克斯·奥克莱:
通过泰勒展开的无限$\beta$-约简的金融模拟及应用。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BaumanGTZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BaumannGTZ23
帕斯卡·鲍曼,摩西·加纳迪,拉马纳森·西尼亚姆,乔治·泽采:
子词排序的存在性定义。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BellS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BellS23
保罗·贝尔,帕维尔·塞穆金:
小字母表上概率自动机的决策问题。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CescoG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CescoG23网站
阿纳多·塞斯科,罗伯托·戈里埃里:
有限有界Petri网的两个真并发等价的可判定性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/RaszykBKT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/RaszykBKT23
马丁·拉西克,大卫·A·巴思,斯丹·克里斯蒂,德米特里·特拉泰尔:
任意关系演算查询的有效评估。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/VandevortKKN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/VandevortKKN23
布莱希特·范德沃特,巴斯·凯茨曼,克里斯托夫·科赫,弗兰克·内文:
具有功能约束的事务模板对已提交读取的鲁棒性。

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。