马丁·邦德
人员信息
附属: 澳大利亚新南威尔士州卧龙岗大学
优化列表
2010 – 2019
2019 [公元62年] 马丁·邦德 :
线性递归方程的替代解。 整数 19 : A65型 ( 2019 ) 2018 [公元61年] 马丁·邦德 , 阿卜杜拉·尼塔吉 , 威利·苏西洛 , 约瑟夫·托尼恩 :
基于Lucas序列、高斯整数和椭圆曲线的RSA型密码系统的密码分析。 J.信息安全。 申请。 40 : 193-198 ( 2018 ) 2017 [公元60年] 马丁·邦德 , 阿卜杜拉·尼塔吉 , 威利·苏西洛 , 约瑟夫·托尼恩 :
对RSA型密码系统的广义攻击。 西奥。 计算。 科学。 704 : 74-81 ( 2017 ) [i2] 马丁·邦德 , 阿卜杜拉·尼塔吉 , 威利·苏西洛 , 约瑟夫·托尼恩 :
对RSA型密码系统的广义攻击。 IACR加密。 电子打印架构。 2017 : 1076 ( 2017 ) 2016 【c3】 马丁·邦德 , 阿卜杜拉·尼塔吉 , 威利·苏西洛 , 约瑟夫·托尼恩 :
对RSA密码系统三种变体的新攻击。 ACISP(2) 2016 : 258-268 2012 [公元59年] 布鲁斯·贝茨 , 马丁·邦德 , 基思·托格内蒂(Keith P.Tognetti) :
Stern-Brocot树中的Child加法。 Eur.J.库姆。 33 ( 2 ) : 148-167 ( 2012 ) 2010 [约58] 布鲁斯·贝茨 , 马丁·邦德 , 基思·托格内蒂(Keith P.Tognetti) :
在Stern-Brocot树中查找术语。 Eur.J.库姆。 31 ( 三 ) : 1020-1033 ( 2010 ) [公元57年] 布鲁斯·贝茨 , 马丁·邦德 , 基思·托格内蒂(Keith P.Tognetti) :
连接Calkin-Wilf和Stern-Brocot树。 Eur.J.库姆。 31 ( 7 ) : 1637-1661 ( 2010 )
2000 – 2009
2009 [公元56年] 马丁·邦德 , R.M.里兹卡拉 :
经典和子类命题逻辑的求证算法。 圣母院J.正式日志。 50 ( 三 ) : 261-273 ( 2009 ) 2008 [公元55年] 马丁·邦德 , 基思·托格内蒂(Keith P.Tognetti) , 格伦·E·惠勒 :
关于二进制反射格雷码和函数。 谨慎。 数学。 308 ( 9 ) : 1690-1700 ( 2008 ) [约54] 马丁·邦德 , 威尔·德克尔斯 :
有Hilbert-style纯类型系统吗? 日志。 方法计算。 科学。 4 ( 1 ) ( 2008 ) [公元53年] 马丁·邦德 , 莫华·班纳吉 , 米希尔·K·查克拉博蒂 :
一些粗糙结果逻辑及其相互关系。 事务处理。 粗糙集 8 : 1-20 ( 2008 ) 【c2】 马丁·邦德 :
交叉口类型的居住问题。 猫 2008 : 7-14 2007 [i1] 马丁·邦德 , 威尔·德克尔斯 :
有Hilbert-style纯类型系统吗? CoRR公司 abs/0707.0890 ( 2007 ) 2005 [公元52年] 马丁·邦德 , W.J.M.德克斯 :
纯类型系统和演绎组合逻辑系统之间的等价性。 圣母院J.正式日志。 46 ( 2 ) : 181-205 ( 2005 ) 【c1】 黄建勇 , 詹妮弗·塞伯里 , 威利·苏西洛 , 马丁·邦德 :
Michael的安全分析:IEEE 802.11i消息完整性代码。 EUC研讨会 2005 : 423-432 2004 [公元51年] 马丁·邦德 , 乔纳森·塞尔丁 :
基本构造演算的变体。 J.应用。 日志。 2 ( 2 ) : 191-217 ( 2004 ) 2002 [约50] 马丁·邦德 :
lambda-terms和组合词及其逻辑的交集类型。 日志。 J.IGPL公司 10 ( 4 ) : 357-378 ( 2002 ) [公元49年] 马丁·邦德 :
交叉口类型系统的分类。 J.塞姆。 日志。 67 ( 1 ) : 353-368 ( 2002 ) 2001 [公元48年] 马丁·邦德 , 基思·托格内蒂(Keith P.Tognetti) :
关于[jτ]的自匹配性质。 谨慎。 数学。 241 ( 1-3 ) : 139-151 ( 2001 ) [公元47年] 马丁·邦德 , 威尔·德克尔斯 :
具有更多自由规则的纯类型系统。 J.塞姆。 日志。 66 ( 4 ) : 1561-1580 ( 2001 ) 2000 [公元46年] 马丁·邦德 :
加快Broda-Damas括号提取。 J.塞姆。 日志。 65 ( 4 ) : 1850-1857 ( 2000 ) [j45] 马丁·邦德 :
蕴涵逻辑的证明算法。 西奥。 计算。 科学。 232 ( 1-2 ) : 165-186 ( 2000 )
1990 – 1999
1998 [j44] 威尔·德克尔斯 , 马丁·邦德 , 亨克·巴伦德雷格特 :
一阶命题演算和谓词演算的两个推理组合逻辑系统的完备性。 架构(architecture)。 数学。 日志。 37 ( 5-6 ) : 327-341 ( 1998 ) [公元43年] 威尔·德克尔斯 , 马丁·邦德 , 亨克·巴伦德雷格特 :
命题作为类型的完备性将直觉逻辑解释为推理组合逻辑。 J.塞姆。 日志。 63 ( 三 ) : 869-890 ( 1998 ) 1996 [公元42年] 诺曼·梅吉尔 , 马丁·邦德 :
较弱的D-Complete逻辑。 日志。 J.IGPL公司 4 ( 2 ) : 215-225 ( 1996 ) [公元41年] 马丁·邦德 , J.罗杰·辛德利 :
两个beta-Equal lambda-I-项,没有共同类型。 西奥。 计算。 科学。 155 ( 1 ) : 265-266 ( 1996 ) [j40] 马丁·邦德 :
Lambda术语可定义为组合器。 西奥。 计算。 科学。 169 ( 1 ) : 3-21 ( 1996 ) 1995 [公元39年] 马丁·邦德 :
精简支队的简化形式。 J.日志。 语言信息。 4 ( 2 ) : 169-173 ( 1995 ) 1994 [j38] P.触发 , J.罗杰·辛德利 , 马丁·邦德 :
组合抽象B,B’和Friends。 西奥。 计算。 科学。 135 ( 2 ) : 405-422 ( 1994 ) 1993 [公元37年] 亨克·巴伦德雷格特 , 马丁·邦德 , 威尔·德克尔斯 :
一阶命题和谓词演算完整的演绎组合逻辑系统。 J.塞姆。 日志。 58 ( 三 ) : 769-788 ( 1993 ) 1991 [公元36年] 罗伯特·梅耶 , 马丁·邦德 , 劳伦斯·鲍尔斯 :
实现组合逻辑的“傻瓜模型”。 J.汽车。 原因。 7 ( 4 ) : 597-630 ( 1991 ) 1990 [j35] 马丁·邦德 :
Turner括号提取算法的一些改进。 J.塞姆。 日志。 55 ( 2 ) : 656-669 ( 1990 )
1980 – 1989
1989 [公元34年] 马丁·邦德 , J.罗杰·辛德利 , 乔纳森·塞尔丁 :
关于组合逻辑中弱等式的加法(xi)。 J.塞姆。 日志。 54 ( 2 ) : 590-607 ( 1989 ) 1988 [公元33年] 马丁·邦德 :
基于演绎组合逻辑中的Church数字的算法。 Stud Logica公司 47 ( 2 ) : 129-143 ( 1988 ) 1987 [公元32年] 马丁·邦德 :
基于组合逻辑对两个集合论系统的一些推广。 架构(architecture)。 数学。 日志。 26 ( 1 ) : 5-12 ( 1987 ) [公元31年] 马丁·邦德 :
演绎组合逻辑中的一些一致性证明和不一致性证明的一个特征。 J.塞姆。 日志。 52 ( 1 ) : 89-110 ( 1987 ) 1985 【j30】 马丁·邦德 :
将Klop的反例推广到Church-Rosser性质,并与其他有序对组合子一起推广到lambda-Calculus。 西奥。 计算。 科学。 39 : 337-342 ( 1985 ) [公元29年] 马丁·邦德 :
Martin-Löf类型理论中可能的评估或约简形式。 西奥。 计算。 科学。 41 : 113-120 ( 1985 ) 1984 [公元28年] 马丁·邦德 :
基于组合逻辑的范畴理论。 架构(architecture)。 数学。 日志。 24 ( 1 ) : 1-16 ( 1984 ) 1983 [公元27年] 马丁·邦德 :
任意高阶有限阶谓词演算。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 1-10 ( 1983 ) [公元26年] 马丁·邦德 :
基于高阶谓词演算的单公理集理论。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 99-107 ( 1983 ) [公元25年] 马丁·邦德 :
具有等式的谓词演算中的集合论。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 109-113 ( 1983 ) [公元24年] 马丁·邦德 :
一些演绎组合逻辑系统的弱绝对一致性证明。 J.塞姆。 日志。 48 ( 三 ) : 771-776 ( 1983 ) 1982 [公元23年] 马丁·邦德 :
Aczel-Feferman逻辑和集合论的一些结果。 数学。 日志。 问:。 28 ( 19 ) : 269-276 ( 1982 ) [公元22年] 马丁·邦德 :
没有等式作为基本谓词的演绎组合逻辑。 圣母院J.正式日志。 23 ( 1 ) : 62-70 ( 1982 ) 1981 [公元21年] 马丁·邦德 :
纯组合逻辑中的谓词演算和朴素集理论。 架构(architecture)。 数学。 日志。 21 ( 1 ) : 169-177 ( 1981 ) 1980 [公元20年] 马丁·邦德 :
意义和推理组合逻辑。 圣母院J.正式日志。 21 ( 2 ) : 380-384 ( 1980 )
1970 – 1979
1979 [j19] 马丁·邦德 :
推理组合逻辑中规则系统与公理系统的等价性。 圣母院J.正式日志。 20 ( 三 ) : 603-608 ( 1979 ) [公元18年] 马丁·邦德 :
斯科特模型和推理组合逻辑。 圣母院J.正式日志。 20 ( 三 ) : 609-612 ( 1979 ) [公元17年] 马丁·邦德 :
给定演绎定理的命题演算的替代形式。 圣母院J.正式日志。 20 ( 三 ) : 613-619 ( 1979 ) [公元16年] 马丁·邦德 :
广义限制的一般性。 圣母院J.正式日志。 20 ( 三 ) : 620-624 ( 1979 ) [公元15年] 马丁·邦德 :
推理组合逻辑中的∧-消去。 圣母院J.正式日志。 20 ( 三 ) : 628-630 ( 1979 ) [公元14年] 马丁·邦德 :
意义逻辑中的演绎定理。 圣母院J.正式日志。 20 ( 三 ) : 695-700 ( 1979 ) [j13] 马丁·邦德 :
更相关的关联逻辑。 圣母院J.正式日志。 20 ( 三 ) : 701-704 ( 1979 ) [公元12年] 马丁·邦德 :
λ-演算中的变量绑定项运算符。 圣母院J.正式日志。 20 ( 4 ) : 876-878 ( 1979 ) 1978 [公元11年] 马丁·邦德 , 罗伯特·K·迈耶 :
关于F类系统的不一致性 * 21 . J.塞姆。 日志。 43 ( 1 ) : 1-2 ( 1978 ) [公元10年] 马丁·邦德 , 乔纳森·塞尔丁 :
惠誉系统QD中的一些异常。 J.塞姆。 日志。 43 ( 2 ) : 247-249 ( 1978 ) [公元9年] 马丁·邦德 :
平等。 数学。 日志。 问:。 24 ( 8 ) : 125-127 ( 1978 ) 1977 [j8] 马丁·邦德 :
演绎组合逻辑中的一致性概念。 J.塞姆。 日志。 42 ( 4 ) : 527-529 ( 1977 ) 1976 [j7] 马丁·邦德 :
F的不一致性 * 21 . J.塞姆。 日志。 41 ( 2 ) : 467-468 ( 1976 ) [j6] 马丁·邦德 :
关于“一个限制普遍性的演绎定理”的一些注记。 圣母院J.正式日志。 17 ( 1 ) : 153-154 ( 1976 ) 1974 [j5] 马丁·邦德 :
基于组合逻辑的命题和谓词计算。 圣母院J.正式日志。 15 ( 1 ) : 25-34 ( 1974 ) 【j4】 马丁·邦德 :
基于组合逻辑的各种集合论系统。 圣母院J.正式日志。 15 ( 2 ) : 192-206 ( 1974 ) 1973 [j3] 马丁·邦德 :
包含组合子K的系统的广义Kleene-Rosser佯谬。 圣母院J.正式日志。 14 ( 1 ) : 53-54 ( 1973 ) [注2] 马丁·邦德 :
一个限制普遍性的演绎定理。 圣母院J.正式日志。 14 ( 三 ) : 341-346 ( 1973 ) 1970 [j1] 马丁·邦德 :
推理组合逻辑中的一个悖论。 圣母院J.正式日志。 11 ( 4 ) : 467-470 ( 1970 )