×

布莱恩·雷德蒙德(Brian F.Redmond)。

作者ID: 雷蒙德·布赖恩最近由“Redmond,Brian F.”撰写的zbMATH文章
发布日期: 布莱恩·雷德蒙德(Brian F.Redmond)。;布莱恩·雷德蒙德
已编制索引的文档: 9出版物自1998年以来
合著者: 4位合著者具有3联合出版物
139位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用28中的次25文件 引用人 年份
一类具有反射对称性的一阶非线性时滞微分方程的分岔分析。 Zbl 1012.34069号
布莱恩·雷德蒙德(Brian F.Redmond)。;维克多·G·勒布朗。;安德烈·隆廷
18
2002
低复杂性的分类设置。 兹比尔1342.68128
罗宾·科克特;布莱恩·雷德蒙德(Brian F.Redmond)。
2010
软线性逻辑的多路复用器类别和模型。 Zbl 1132.03352号
布莱恩·雷德蒙德(Brian F.Redmond)。
2007
重新访问安全递归。I: 用于降低复杂性的范畴语义。 Zbl 1277.68115号
迈克·伯雷尔;罗宾·科克特;布莱恩·雷德蒙德
2
2014
有界组合逻辑和较低的复杂性。 Zbl 1339.68140号
布莱恩·雷德蒙。
1
2016
参数lambda演算中的多项式时间。 Zbl 1367.68054号
布莱恩·雷德蒙德(Brian F.Redmond)。
1
2015
有界组合逻辑和较低的复杂性。 Zbl 1339.68140号
布莱恩·雷德蒙德(Brian F.Redmond)。
1
2016
参数lambda演算中的多项式时间。 兹比尔1367.68054
布莱恩·雷德蒙德(Brian F.Redmond)。
1
2015
重新访问安全递归。一: 低复杂性的分类语义。 Zbl 1277.68115号
迈克·伯雷尔;罗宾·科克特;布莱恩·雷德蒙德
2
2014
低复杂性的分类设置。 Zbl 1342.68128号
罗宾·科克特;布莱恩·雷德蒙德(Brian F.Redmond)。
2010
软线性逻辑的多路复用器类别和模型。 Zbl 1132.03352号
布莱恩·雷德蒙德(Brian F.Redmond)。
2007
一类具有反射对称性的一阶非线性时滞微分方程的分岔分析。 兹比尔1012.34069
布莱恩·雷德蒙德(Brian F.Redmond)。;维克多·G·勒布朗。;安德烈·隆廷
18
2002

按年份列出的引文