- 安德烈·赫肖维茨,汤姆·赫肖维茨,安布罗西·拉丰,马可·马格西.变量绑定和替换(无名)虚拟对象.计算机科学中的逻辑方法, 20(1),2024
- 比尼特·戈什,埃蒂安·安德烈.使用边界模型对分散的不确定日志进行离线和在线节能监测.计算机科学中的逻辑方法,20(1)中,2024
- 雷诺德·维尔马特.量子计算中并元片段和过路径的重写与完备性.计算机科学中的逻辑方法, 20(1),2024
- 唐博伟.作为有状态程序的证明:带有抽象Hoare三元组的一阶逻辑,以及对命令式语言的解释.计算机科学中的逻辑方法, 20(1),2024
- 迪伦·麦克德莫特,艾伦·麦克罗夫特.Galois连接按值调用和按名称调用.计算机科学中的逻辑方法, 20(1),2024
- Leroy Chew公司,弗里德里希·斯利沃夫斯基.QBF中的统一认证.计算机科学中的逻辑方法, 20(1),2024
- 杰米·塔克-福尔茨.计数定点逻辑中唯一对策的不逼近性.计算机科学中的逻辑方法, 20(2),2024
- 新谷纪乐,Nao Hirokawa先生.成分汇流标准.计算机科学中的逻辑方法, 20(1),2024
- 迈克尔·布隆丁,哈维尔·埃斯帕尔扎.连续Petri网中的分隔符.计算机科学中的逻辑方法, 20(1),2024
- 爱德华多·博内利,迪莉娅·凯斯纳,安德烈斯·维索.经典项微积分的强互模拟.计算机科学中的逻辑方法, 20(2),2024