Modal logic; Fixed point; Abstract state machinery; Human computer interaction; Application to autonomy;
机译:用A_∞结构的语言描述Banach代数和局部凸代数的同调
机译:AWS政策:自主Web服务描述的扩展
机译:直觉模态逻辑IEL和其谓词扩展的分类和代数方面
机译:模态MU - Chanchulus扩展,具有自主性和代数结构的描述
机译:khovanov-lauda-roouquier代数的一些标准模块的一些延伸代数,包括A-Infinity结构
机译:使用结构字母扩展局部骨干描述:一种新的序列-结构关系方法
机译:AWS政策:自主Web服务描述的扩展