Department of Computer Science, University of York, York YO10 5DD, U.K.;
Institut fuer Informatik, Universitaet Augsburg, D-86135 Augsburg, Germany;
机译:使用Logic LTS进行安全推理
机译:轩尼诗Milner逻辑安全的因果推理
机译:逻辑规则和推理的特殊问题简介:第2届国际规则和推理联席会议所选文件(RULEML + RR 2018)
机译:安全推理逻辑LTS
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:使用Logic LTS进行安全推理
机译:模糊逻辑中的三段论推理及其在处理推理中的应用