Optimising Power-Performance in SOI-based Null Convention Logic.

Nguyen Le Huy Paul Beckett

Published in: ICICDT (2022)

Keyphrases

power consumption
modal logic
predicate logic
database
sound and complete axiomatization
proof theory
logic programming
power management
automated reasoning
classical logic
silicon on insulator
deontic logic
truth values
multi valued
low power
multi agent systems
information systems
search engine
real time