...
机译:Horn子句逻辑的目标导向语义的高级Petri网
机译:Horn子句逻辑中解析和生产率的操作语义
机译:喇叭子句逻辑分辨率和生产力的运行语义
机译:基于Horn子句和Petri网的自动Web服务组合
机译:Horn子句命题逻辑的Petri网模型中的证明程序和公理集
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:Horn子句逻辑中解析和生产率的操作语义
机译:被保护的Horn子句的Fixpoint语义