Technological Educational Institute of Athens, 12210 Athens, Greece;
机译:基于一致性的超一致集理论
机译:关于网络中移动代理的简单移动谓词及其一致性
机译:内积谓词和匹配向量族的一般化
机译:匹配谓词的一致性
机译:通过频率匹配来提高木制乐器的制造一致性。
机译:基于谓词的语义索引:置换是在语义空间中编码谓词的一种手段
机译:发布/订阅系统中的谓词匹配和订阅匹配
机译:使用谓词抽象和归纳检查C和Verilog的一致性