Department of Computer Science, University of Torino, Italy;
Universite Lille-Nord de France, Artois CRIL, CNRS UMR 8188 - IUT de Lens F-62307, France;
Computer Science and Communication University of Luxembourg, Luxembourg;
机译:一种用于计算动态抽象议论框架的基础扩展的增量算法
机译:关于抽象论证语义的拓扑相关属性。对论证系统动力学的修正和扩展:基于除法的方法
机译:抽象争论中扩展执行的复杂性结果和算法抽象争论中扩展执行的复杂性和算法
机译:单个扩展争论中的动态:攻击细化和接地扩展(扩展版)
机译:路易斯酸基相互作用。第一部分:氢键系统的频率转换-焓相关性的扩展和局限性。第二部分:E和C相关性的扩展和完善。
机译:结合运动运动学和扩展动力学使用范围范围测量来跟踪机动复杂扩展对象
机译:单一扩展论证中的动态:抽象原则和基础扩展
机译:关于将UpC内存复制库函数和支持扩展扩展到GasNet 2.0版的提案