FinFET domino logic with independent gate keepers.

Sherif A. Tawfik Volkan Kursun

Published in: Microelectron. J. (2009)

Keyphrases

logic programming
sound and complete axiomatization
social networks
predicate logic
learning algorithm
automated reasoning
epistemic logic