DocumentCode
2416041
Title
Defining Recursive Functions In HOL
Author
Ploegaerts, W. ; Claesen, L. ; Man, H. De
Author_Institution
IMEC
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
358
Lastpage
366
Keywords
Circuit synthesis; Computer bugs; Design automation; Design engineering; Formal verification; Hardware; Induction generators; Logic; Power engineering and energy; Software tools;
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.596300
Filename
596300
Link To Document