Executable analysis; Modular analysis; Domain refinement;
机译:共居代数品种的模型完成
机译:闭代数和Heyting代数的拓扑规范完成
机译:Heyting代数的有限补全和典范扩展
机译:使用按需Heyting完成对可执行文件进行模块化分析
机译:模块化和高效自然语言处理的可执行属性语法。
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:模型完成对P型半代数套装的缩放格子和共居代数
机译:可重复使用的设计流程,通过模块化,可执行,以决策为中心的模板;会议论文