Institut für Informatik Technische Universität München FRG EARN: G11H11 DM0TUI1S Germany;
机译:声明性n皇后递归的评估:一种演绎数据库方法
机译:分数常微分方程产生的托普利茨加频器三角形系统有效迭代方法
机译:SNPkit:在公共数据库中系统评估候选单核苷酸多态性的有效方法
机译:高效差分固定点迭代对(演绎)数据库系统递归的评估
机译:用于演绎数据库系统的高速缓存管理系统。
机译:迭代和递归
机译:具有交替定点语义的演绎数据库中的查询评估
机译:演绎数据库中的数据无关递归