[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

SmithA90

  1. Alf Smith
  2. The Knuth-Bendix Completion Algorithm and its Specification in Z
  3. pp195-220 in [Nicholls90]
  4. =DEMO SPECIFICATION Z Mathematics vs Logic
  5. cf [NelsonOppen80]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]