SQIG Instituto de Telecomunicações Departamento de Matemática Instituto Superior Técnico Universidade Técnica de Lisboa">(1);
CENTRIA FCT Universidade Nova de Lisboa">(2);
Valuation semantics; Matrix semantics; Algebraization of logics;
机译:抽象评估语义学
机译:电机系统中的抽象语义? - 与携带抽象情感和精神意义的语义词语的被动阅读有关的FMRI研究
机译:语义中间件:用于对象分类的多层抽象语义推断
机译:定逻辑程序的抽象定点语义和过程抽象语义
机译:软件安全性分析的抽象语义。
机译:抽象概念的语义内容:296个抽象词的属性列表研究
机译:摘要估值语义学