...specification, verification, compositional semantics, partial order [gap=166]关键词：时序逻辑，规范，验证，组合语义学，偏序 ...
基于60个网页-相关网页
... 成分语义学 compositional semantics 程序语义学 program semantics 词汇语义学 lexical semantics ...
基于26个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress