Title :
Recursive Boolean Functions In HOL
Author :
Andersen, Flemming ; Petersen, Kim Dam
Author_Institution :
TFL - Telecommunications Research Laboratory
Keywords :
Boolean functions; Equations; Lattices; Logic; Packaging; State-space methods;
Conference_Titel :
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location :
Davis, CA, USA
Print_ISBN :
0-8186-2460-4
DOI :
10.1109/HOL.1991.596301
