约书亚·S·霍达斯
人员信息
附属: Harvey Mudd学院,美国加利福尼亚州克莱蒙特
优化列表
2000 – 2009
2002 [第11条] 约书亚·S·霍达斯 , 巴勃罗·洛佩斯 , 杰弗里·波拉科 , 卢博米拉·斯托伊洛娃 , 埃内斯托·皮门特尔 :
线性逻辑程序设计中用于证明搜索的资源管理标签框架系统。 CSL公司 2002 : 167-182 [第10条] 巴勃罗·洛佩斯 , 埃内斯托·皮门特尔 , 约书亚·S·霍达斯 , 杰弗里·波拉科 , 卢博米拉·斯托伊洛娃 :
在线性逻辑证明搜索中隔离资源消耗。 线性调频 2002 : 1-10 2001 [j3] 约书亚·S·霍达斯 , 内尔·桑德雷桑 , 杰瑞德·杰克逊 , 布兰登·L·邓肯 , 沃尔特·尼森 , 裘德·巴蒂斯塔 :
NOVeLLA:具有视觉和听觉接口的多模式电子图书阅读器。 国际语音技术杂志。 4 ( 3-4 ) : 269-284 ( 2001 ) 【c9】 约书亚·S·霍达斯 , 田村直之(Naoyuki Tamura) :
lolliCop-一阶经典逻辑的精益连接方法定理证明程序的线性逻辑实现。 IJCAR公司 2001 : 670-684 2000 [注2] 伊利亚诺·塞韦萨托 , 约书亚·S·霍达斯 , 弗兰克·普芬宁 :
线性逻辑证明搜索的高效资源管理。 西奥。 计算。 科学。 232 ( 1-2 ) : 133-163 ( 2000 )
1990 – 1999
1998 【c8】 约书亚·S·霍达斯 , K·M·沃特金斯 , 田村直之(Naoyuki Tamura) , 京顺康 :
线性逻辑程序设计语言的高效实现。 国际JCSLP 1998 : 145-159 1997 【c7】 约书亚·S·霍达斯 :
无界依存短语结构语法的线性逻辑处理。 拉丁美洲和加勒比海 1997 : 160-179 1996 【c6】 伊利亚诺·塞韦萨托 , 约书亚·S·霍达斯 , 弗兰克·普芬宁 :
线性逻辑证明搜索的高效资源管理。 ELP公司 1996 : 67-81 [c5] 约书亚·S·霍达斯 , 杰弗里·波拉科 :
论坛作为逻辑编程语言。 线性逻辑东京会议 1996 : 196-207 1994 [j1] 约书亚·S·霍达斯 , 戴尔·米勒 :
直觉主义线性逻辑片段中的逻辑编程。 Inf.计算。 110 ( 2 ) : 327-365 ( 1994 ) 1993 【c4】 约书亚·S·霍达斯 :
多上下文管理方案的逻辑编程。 ELP公司 1993 : 171-182 1992 【c3】 约书亚·S·霍达斯 :
在线性逻辑编程语言中指定填充间隙依赖分析器。 JICSLP公司 1992 : 622-636 1991 【c2】 约书亚·S·霍达斯 , 戴尔·米勒 :
直觉主义线性逻辑片段中的逻辑编程。 低收入国家 1991 : 32-42 1990 【c1】 约书亚·S·霍达斯 , 戴尔·米勒 :
用范围构造在逻辑编程语言中表示对象。 ICLP公司 1990 : 511-526