Concurrency; Compositionality; Completeness; Program synthesis;
机译:检查并发对象的正确性:可触及性降低可达性(特邀演讲)
机译:语音产生中增强的语音促进和并发单词形式激活的痕迹:具有多个干扰物的对象命名研究
机译:利用INAA和EPMA表征中世纪和中世纪后的玻璃物体的痕量元素
机译:并发对象的迹线可达性的公理化表征
机译:使用并发的频率合成:解决一些经典和顽固的RF和毫米波集成电路问题。
机译:那是触手可及的吗?功能磁共振成像显示人类上顶枕枕皮层编码手可到达的对象
机译:用于并发对象的微量可达性的公理表征