机译:XML到SQL转换中的联接最小化:一种代数方法
Computer Science Dept, WPI;
机译:从关系代数到半连接代数:图形查询优化的方法
机译:一种减少动态二进制翻译中解释开销的方法
机译:代数翻译,正确性和代数编译器构造
机译:使演示数学成为可计算的:提出一种上下文敏感的方法将LaTeX转换为计算机代数系统
机译:XML到SQL的查询转换。
机译:BCI / BCK-代数的软翻译和软扩展
机译:代数双切和连接 - 一种群论的方法 多染色体基因组上的算子
机译:编程语言翻译的正确性 - 一种代数方法