威廉·C·罗兹
人员信息
附属: 美国安娜堡密歇根大学
其他同名人员
优化列表
期刊文章
2004 [j13] 张国强 , 威廉·C·罗兹 :
使用电源默认值进行推理。 西奥。 计算。 科学。 323 ( 1-3 ) : 321-350 ( 2004 ) 2001 [j12] 威廉·C·罗兹 , 张国强 :
代数域中的子句逻辑和逻辑程序设计。 Inf.计算。 171 ( 2 ) : 183-200 ( 2001 ) 1997 [公元11年] 威廉·C·罗兹 , 张国强 :
默认语义的逻辑考虑。 安。数学。 Artif公司。 智力。 20 ( 1-4 ) : 195-226 ( 1997 ) [公元10年] 张国强 , 威廉·C·罗兹 :
缺省域理论中的非单调结果。 安。数学。 Artif公司。 智力。 20 ( 1-4 ) : 227-265 ( 1997 ) [公元9年] 张国强 , 威廉·C·罗兹 :
领域理论中的默认值。 西奥。 计算。 科学。 177 ( 1 ) : 155-182 ( 1997 ) 1995 [j8] 威廉·C·罗兹 , 张国强 :
领域理论符合默认逻辑。 J.日志。 计算。 5 ( 1 ) : 1-25 ( 1995 ) 1992 [j7] 约钦·多尔 , 威廉·C·罗兹 :
关于特征代数中的子umption和半一致性。 J.塞姆。 计算。 13 ( 4 ) : 441-461 ( 1992 ) 1988 [j6] 威廉·C·罗兹 :
LFP语言描述逻辑及其复杂性分析。 计算。 语言学 14 ( 三 ) : 1-9 ( 1988 ) 1987 [j5] 迈克尔·卡克 , 亚历克西斯·马纳斯特-雷默 , 威廉·C·罗兹 :
同时分布协调和上下文无关。 计算。 语言学 13 ( 1-2 ) : 25-30 ( 1987 ) 1985 【j4】 威廉·C·罗兹 :
关于Scott域、同步树和度量空间之间的关系。 信息控制。 66 ( 1/2 ) : 6-28 ( 1985 ) 1983 [j3] 威廉·高尔森 , 威廉·C·罗兹 :
两种并发理论之间的联系:度量空间和同步树。 信息控制。 57 ( 2/3 ) : 102-124 ( 1983 ) 1975 [注2] 梅迪·贾萨耶里 , 威廉·奥格登 , 威廉·C·罗兹 :
属性文法圆度问题的内在指数复杂性。 Commun公司。 ACM公司 18 ( 12 ) : 697-706 ( 1975 ) 1970 [j1] 威廉·C·罗兹 :
树上的映射和语法。 数学。 系统。 理论 4 ( 三 ) : 257-287 ( 1970 )
会议和研讨会文件
2005 [公元27年] 胡松松(Hosung Song) , 凯文·康普顿 , 威廉·C·罗兹 :
SPIN:基于SPIN的可重构混合系统模型检查器。 AVoCS公司 2005 : 167-183 2004 [公元26年] 威廉·C·罗兹 :
混合p-演算的空间逻辑。 高速列车控制中心 2004 : 508-522 2003 [公元25年] 威廉·C·罗兹 , 胡松松(Hosung Song) :
Phi-Calculus:可重构嵌入式系统的分布式控制语言。 高速列车控制中心 2003 : 435-449 1998 [公元24年] 埃里克·克拉文斯 , 威廉·C·罗兹 , 张国强 :
电力违约推理实验。 AAAI/IAAI公司 1998 : 846-852 1997 【c23】 张国强 , Chang Huang公司 , 威廉·C·罗兹 :
信念推理的模态逻辑。 HICSS(5) 1997 : 383- [公元22年] 张国强 , 威廉·C·罗兹 :
电力违约推理的复杂性。 许可证 1997 : 328-339 【c21】 张国强 , 威廉·C·罗兹 :
电源默认值。 低密度核磁共振 1997 : 152-169 [公元20年] 张国强 , 威廉·C·罗兹 :
Smyth powerdomain中的分辨率。 MFPS公司 1997 : 409 1993 [第19条] 马克·A·杨 , 威廉·C·罗兹 :
非单调排序的逻辑语义。 国际计算语言学协会 1993 : 209-215 [第18条] 威廉·C·罗兹 , 张国强 :
非单调推理中的约束。 PPCP项目 1993 : 247-257 1990 [第17条] 约钦·多尔 , 威廉·C·罗兹 :
特征代数中的包含与半统一。 许可证 1990 : 300-310 1987 [第16条] 威廉·C·罗兹 , 亚历克西斯·马纳斯特-雷默 :
功能语法的逻辑版本。 国际计算语言学协会 1987 : 89-96 [第15条] Drew Moshier先生 , 威廉·C·罗兹 :
无序上下文无关语法的简洁性。 国际计算语言学协会 1987 : 112-116 [第14条] Drew Moshier先生 , 威廉·C·罗兹 :
部分指定数据结构的逻辑。 POPL公司 1987 : 156-167 1986 [c13] 威廉·C·罗兹 , 罗伯特·T·卡斯珀 :
表示语言信息的记录结构的完整逻辑演算。 许可证 1986 : 38-43 1984 [第12条] 威廉·C·罗兹 :
拓扑在通信过程语义中的应用。 并行讨论会 1984 : 360-372 1983 [第11条] 斯蒂芬·布鲁克斯 , 威廉·C·罗兹 :
编程逻辑引发的行为等效关系。 ICALP公司 1983 : 97-108 1981 [第10条] 威廉·C·罗兹 , 斯蒂芬·布鲁克斯 :
可能的未来、接受、拒绝和沟通过程。 光纤通信系统 1981 : 140-149 1979 【c9】 约翰·古雷 , 威廉·C·罗兹 , 理查德·斯塔特曼 :
关于并发系统的收缩所保持的性质。 并发计算的语义 1979 : 51-65 1978 [c8] 威廉·奥格登 , 威廉·里德尔 , 威廉·C·罗兹 :
允许并发的表达式的复杂性。 POPL公司 1978 : 185-194 1975 【c7】 威廉·C·罗兹 :
指数时间语言的语法特征。 光纤通信系统 1975 : 135-143 【c6】 梅迪·贾萨耶里 , 威廉·奥格登 , 威廉·C·罗兹 :
属性语法循环测试的复杂性。 POPL公司 1975 : 119-129 【c5】 肯尼思·沃尔特 , 塞缪尔·沙恩 , 威廉·奥格登 , 威廉·C·罗兹 , D.G.Shumway公司 , D.D.谢弗 , K.J.比巴 , 弗兰克林·T·布拉德肖 , S.R.艾姆斯 , J.M.吉利根 :
安全内核的结构化规范。 可靠的软件 1975 : 285-293 1973 【c4】 威廉·C·罗兹 :
中级语言中识别的复杂性。 重拍 1973 : 145-158 1972 【c3】 威廉·奥格登 , 威廉·C·罗兹 :
n树传感器的组成。 STOC公司 1972 : 198-206 1970 【c2】 威廉·C·罗兹 :
无上下文语言和索引语言若干定理的面向树证明。 STOC公司 1970 : 109-116 1969 【c1】 威廉·C·罗兹 :
树上的上下文无关语法。 STOC公司 1969 : 143-148
书籍或收藏品中的零件
1997 [第1页] 威廉·C·罗兹 :
功能逻辑。 逻辑和语言手册 1997 : 475-533
编辑职位
非正式出版物和其他出版物
1989 [i1] 约钦·多尔 , 威廉·C·罗兹 :
特征代数中的包含与半一致。 IWBS报告 97 ( 1989 )