Mechanical Engineering Clemson University Clemson, SC 29634-0921;
机译:排名和未排名树上的逻辑可定义性和查询语言
机译:表达能力描述语言和查询重写算法
机译:无限否定查询语言4QL的逻辑基础和复杂性
机译:CAD查询语言的逻辑连接:算法和验证
机译:CAD / CAM的实体建模与数据库管理的集成(查询语言,几何数据库,特征提取)
机译:与语言级联相关的大脑连接
机译:在排名和未排名的树上的逻辑可定义性和查询语言
机译:具有复杂对象的逻辑查询语言的正确和高效接口