机译:具有资源范围的交替时间时序逻辑
School of Computer Science, The University of Nottingham, UK.;
School of Computer Science, The University of Nottingham, UK.;
School of Computer Science, The University of Nottingham, UK.;
School of Computer Science, The University of Nottingham Malaysia Campus, Malaysia;
Strategic ability; resources; axiomatisation of RB-ATL;
机译:具有有限界限语义的交替时间逻辑ATL
机译:在机构的战略性STIT逻辑中嵌入时空逻辑
机译:具有线性过去的交替时间逻辑
机译:概率资源有限交替时间逻辑:扩展摘要
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:阴离子结合的有机受体的光谱和DFT研究:时间依赖性研究和逻辑门应用
机译:具有资源范围的交替时间时序逻辑