Login / Signup

On Testability of Multiple Precharged Domino Logic.

Th. HaniotakisY. TsiatouhasDimitris NikolosCostas Efstathiou
Published in: ISQED (2000)
Keyphrases
  • real world
  • real time
  • databases
  • data mining
  • machine learning
  • logic programming
  • set theory
  • relational databases
  • probabilistic model
  • modal logic
  • proof theory