神田亚基拉
人员信息
优化列表
2000 – 2009
2005 [c7] 彼得·阿波斯托利 , 神田明 :
精确集的邻近空间。 RSFDGrC(1) 2005 : 94-103 2004 [公元10年] 彼得·阿波斯托利 , 神田亚基拉 , 莱赫·波尔科夫斯基(Lech Polkowski) :
迈向可计算无限信息系统的第一步。 事务处理。 粗糙集 2 : 151-188 ( 2004 ) 2003 【c6】 彼得·阿波斯托利 , 神田亚基拉 :
抽象逼近空间中的上下递归格式。 RSFDGrC公司 2003 : 205-212 2000 【c5】 彼得·阿波斯托利 , 神田亚基拉 :
无类型集的近似空间。 粗糙集与当前计算趋势 2000 : 98-105
1990 – 1999
1995 [公元9年] 神田亚基拉 :
形态和Myhill-Shepherdson属性的可接受数值。 数学。 日志。 问:。 41 : 39-48 ( 1995 )
1980 – 1989
1989 [j8] 神田亚基拉 :
缩回数字。 Ann.纯粹应用。 日志。 42 ( 三 ) : 225-242 ( 1989 ) 1988 [j7] 神田亚基拉 :
产生集和构造性非部分递归函数。 架构(architecture)。 数学。 日志。 27 ( 1 ) : 49-50 ( 1988 ) [j6] 神田亚基拉 :
递归定理和有效域。 Ann.纯粹应用。 日志。 38 ( 三 ) : 289-300 ( 1988 ) 1987 [j5] 神田亚基拉 , 阿利斯泰尔·拉克伦 :
预完成数字的替代特征。 数学。 日志。 问:。 33 ( 2 ) : 97-100 ( 1987 ) 1986 【j4】 神田亚基拉 :
λ-微积分的计数模型类。 数学。 日志。 问:。 32 ( 19-24 ) : 315-322 ( 1986 ) [j3] 神田亚基拉 :
λβ-微积分的数值模型。 数学。 日志。 问:。 32 ( 25-30 ) : 409-414 ( 1986 ) 1985 [注2] 神田亚基拉 :
λ-微积分的计算模型。 数学。 日志。 问:。 31 ( 14-18 ) : 209-220 ( 1985 ) [j1] 神田明 :
函数空间的可接受数值。 数学。 日志。 问:。 31 ( 31-34 ) : 503-508 ( 1985 ) 1981 【c4】 神田亚基拉 :
建构主义范畴理论(第1号)。 MFCS公司 1981 : 563-577 1980 【b1】 神田亚基拉 :
递归区域方程的有效解。 英国考文垂华威大学, 1980
1970 – 1979
1979 【c3】 神田亚基拉 :
递归区域方程的完全有效解。 MFCS公司 1979 : 326-336 【c2】 神田亚基拉 , 大卫·迈克尔·里奇公园 :
两个有效给定的域何时相同?。 理论计算机科学 1979 : 170-181 1978 【c1】 神田亚基拉 :
作为初始代数的数据类型:Scottery和ADJery(扩展抽象)的统一。 光纤通信系统 1978 : 221-230