DocumentCode

2416306

Title

Recursive Boolean Functions In HOL

Author

Andersen, Flemming ; Petersen, Kim Dam

Author_Institution

TFL - Telecommunications Research Laboratory

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

367

Lastpage

377

Keywords

Boolean functions; Equations; Lattices; Logic; Packaging; State-space methods;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/HOL.1991.596301

Filename

596301