[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Alf Smith
- The Knuth-Bendix Completion Algorithm and its Specification in Z
- pp195-220 in
- =DEMO SPECIFICATION Z Mathematics vs Logic
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]