The HOL string Library
Main Author: | Melham, T |
---|---|
Format: | Record |
Published: |
Computer Laboratory‚ University of Cambridge
1991
|
Similar Items
-
The HOL sets Library
by: Melham, T
Published: (1991) -
The HOL finite_sets Library
by: Melham, T
Published: (1992) -
The HOL pred_sets Library
by: Melham, T
Published: (1992) -
A Mechanized Theory of the π−calculus in HOL
by: Melham, T
Published: (1991) -
A Mechanized Theory of the Π−calculus in HOL
by: Melham, T
Published: (1994)