Recursive Boolean Functions in HOL (1991)

Cached

Download Links

by Flemming Andersen , Kim Dam Petersen
Venue:In 1991 International Tutorial and Workshop on the HOL Theorem Proving System and its Applications
Citations:1 - 1 self