2004/02/17 by Serban E. Vlad
Computer Science · #cs.LO
published as Analele Universitatii din Oradea, Fascicola Matematica, TOM IX, 2002
arxiv created 2004/02/17 · arxiv updated 2009/12/01
The inequations of the delays of the asynchronous circuits are written, by making use of pseudo-Boolean differential calculus. We consider these efforts to be a possible starting point in the semi-formalized reconstruction of the digital electrical engineering (which is a non-formalized theory).