- Publisher:
- Computer Laboratory‚ University of Cambridge
- Publication date:
- 1991-06-01
- URN:
-
uuid:5baf15ef-601a-4eaf-8d89-5cafe0837b49
- Local pid:
- cs:4737
- Copyright date:
- 1991
General item
The HOL string Library
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record