机译:逻辑图论纤维
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Philosophy and CLE, State University of Campinas, Brazil;
fibring; graph-theoretic techniques; preservation results; combination of logics; collapsing problem;
机译:图论逻辑
机译:非交换线性逻辑乘法片段的图论特征定理
机译:在组合逻辑电路中找到最大超门的图论算法
机译:描述逻辑εL中最小公有消费者和最具体概念的图论一般化
机译:信任,转换和控制流程:验证源和二进制控制流量等的图形 - 理论方法
机译:逻辑约束下信念系统动力学的图论分析
机译:逻辑的图论理论