机译:对“广义逻辑系统的定义等价性和可代数性”的勘误,《纯粹逻辑和应用逻辑》年鉴98(1999)1–68
机译:书评-散射:纯科学和应用科学中的散射和逆散射(Roy Pike和Pierre Sabatier(编辑)),中尺度气象建模(Roger Pielke,高级),气候系统中的全球生物地球化学循环(ED。Schulze等) (主编),动力学古气候学:全球气候变化的广义理论(Barry Saltzman)。
机译:广义实时时间逻辑在不确定性离散事件动态系统控制中的应用
机译:纯粹与应用逻辑年鉴