布莱恩·雷德蒙
人员信息
优化列表
2010 – 2019
2016 [注2] 布莱恩·雷德蒙 :
有界组合逻辑和较低的复杂性。 Inf.计算。 248 : 215-226 ( 2016 ) 2015 【c4】 布莱恩·雷德蒙 :
参数Lambda微积分中的多项式时间。 薄层色谱分析 2015 : 288-301 2014 [j1] 迈克·伯雷尔 , J.罗宾B.科克特 , 布莱恩·雷德蒙 :
安全递归重温了I:降低复杂性的分类语义。 西奥。 计算。 科学。 515 : 19-45 ( 2014 ) 2010 【c3】 J.罗宾B.科克特 , 布莱恩·雷德蒙 :
低复杂性的分类设置。 MFPS公司 2010 : 277-300
2000 – 2009
2009 【c2】 迈克尔·J·伯雷尔 , J.罗宾B.科克特 , 布莱恩·雷德蒙 :
Pola:PTIME编程语言。 菲莎国际学院 2009 : 7-8 2007 【c1】 布莱恩·雷德蒙 :
软线性逻辑的复用器类别和模型。 LFCS公司 2007 : 472-485