机译:拓扑产品的多元逻辑
ILLC University of Amsterdam;
Department of Mathematical Sciences New Mexico State University;
ISLA University of Amsterdam;
Department of Philosophy Stanford University;
Fusion of modal logics; products of modal logics; topological product; horizontal; vertical topologies;
机译:VIII会议和III学校拓扑,代数和逻辑类别(TACL),2017年由象征性逻辑布拉格和Olomouc,捷克共和国2017年6月20日至30日协会共同赞助
机译:统一逻辑,拓扑和参数化逻辑中的学习
机译:使用混合传输逻辑和CMOS拓扑的多级逻辑综合
机译:DALS:延迟驱动的近似逻辑综合
机译:两棵树的产品拓扑与两棵树串联的树拓扑的比较
机译:DAL80基因的表达与GATA因子同源并且是酿酒酵母中多个氮分解代谢基因的负调控子它对氮分解代谢的抑制作用敏感。
机译:内部操作员逻辑和产品拓扑