combinatorial mathematics; asynchronous sequential logic; temporal logic; Boolean algebra; combinational logic problems; asynchronous sequential logic problems; logic variable; temporal logic operators; Boolean algebra; mathematical tool;
机译:异步时序逻辑,梯形逻辑和模糊逻辑的本科调查课程
机译:使用时钟差分共源共栅绝热逻辑(CDCAL)的低功耗组合和顺序逻辑电路
机译:利用可逆逻辑门设计异步时序电路
机译:通过逻辑变量的组合和异步顺序逻辑问题的解决方案
机译:利用组合逻辑与逆变器链的异步有界延迟微伏度的鲁棒性比较
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:数字脉冲逻辑-组合和顺序数字逻辑硬件实现的新范例