The University of Wisconsin - Madison;
机译:服务系统从主导逻辑到主导逻辑的转换:系统动力学视角
机译:从Kripke系统的角度对动态认知逻辑和动态正逻辑进行了调查
机译:从Kripke Systems的角度来看动态认知逻辑和动态Doxastic逻辑调查
机译:时间相关逻辑作为并发系统动力学推理的逻辑基础
机译:动态系统满足时间逻辑规范的恢复能力
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:时间相关逻辑作为并发系统动力学推理的逻辑基础