A Proof of de Bruijn Identity based on Generalized Price's Theorem.

Jaume Riba Ferran De Cabrera

Published in: ISIT (2019)

Keyphrases

interactive theorem proving
signature scheme
website
von neumann
real time
genetic algorithm
graph structure