Formal proof of prefix adders.

Feng Liu Qingping Tan Gang Chen

Published in: Math. Comput. Model. (2010)

Keyphrases

formal proof
bit parallel
pattern matching
theorem prover
data structure
regular expressions
programmable logic
multiple valued
prefix tree
tree structure
knowledge representation
database
relational databases
case study
information systems
artificial intelligence
information retrieval
data mining
neural network