×
作者ID: 格里利斯沙雷最近由“Grellois,Charles”撰写的zbMATH文章
发布日期: 查尔斯·格雷洛伊斯
已编制索引的文档: 10出版物自2011年起,包括1个附加arXiv预打印
合著者: 5位合著者具有9联合出版物
190位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用35中的次23文件 引用人 年份
通过一元仿射大小的键入进行概率终止。 Zbl 1485.68045号
乌戈·达尔拉戈;查尔斯·格雷洛伊斯
7
2017
线性逻辑的金融语义和高阶模型检验。 Zbl 1465.68179号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
7
2015
直觉主义非正规模态逻辑:一般框架。 Zbl 1485.03047号
蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂
6
2020
线性逻辑的关系语义和高阶模型检查。 Zbl 1373.68287号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
6
2015
关于概率高阶递归程序的终止问题。 Zbl 1490.68134号
直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯
5
2020
线性逻辑的无限模型。 Zbl 1459.03025号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
2015
构造模态逻辑的终止计算和反模型。 兹伯利07532528
蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂
1
2021
构造模态逻辑的终止计算和反模型。 Zbl 07532528号
蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂
1
2021
直觉主义非正规模态逻辑:一般框架。 Zbl 1485.03047号
蒂齐亚诺·达尔蒙特;查尔斯·格雷洛伊斯;尼古拉·奥利维蒂
6
2020
关于概率高阶递归程序的终止问题。 Zbl 1490.68134号
直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯
5
2020
通过一元仿射大小的键入进行概率终止。 Zbl 1485.68045号
乌戈·达尔拉戈;查尔斯·格雷洛伊斯
7
2017
线性逻辑的金融语义和高阶模型检验。 Zbl 1465.68179号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
7
2015
线性逻辑的关系语义和高阶模型检查。 Zbl 1373.68287号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
6
2015
线性逻辑的无限模型。 Zbl 1459.03025号
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃
2015

按年份列出的引文