Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh Edinburgh EH9 3JZ, UK;
机译:凸多台的可解析性和容错可解变结构
机译:反省,冲突强度和可分辨性是继续进行系列辩论的动机和可能性的预测因子
机译:反省,冲突强度和可分辨性是继续进行系列辩论的动机和可能性的预测因子
机译:可解决冲突的事件结构
机译:可解决的入射结构的自同构群
机译:开始冲突:状态内冲突发生前事件结构的序列分析
机译:可解决冲突的事件结构