German Research Center for AI - DFKI GmbH Postfach 2080, 67608 Kaiserslautern, F.R. Germany;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:在重写系统中回收计算出的答案以诱拐
机译:通过利用本地检查来改进分布式数据库中的完整性约束检查
机译:自下而上的绑架和完整性检查的知识库重写
机译:基于重写的模型检查方法。
机译:检查俯卧位的眼睛完整性:一种新的视频喉镜应用
机译:逻辑编程中的绑架:基于重写的新定义和绑架过程