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

Bibliographic Item (1.0)

SchiederBroy99

  1. Birgit Schieder & Manfred Broy
  2. Adapting calculatonal logic to the Undefined
  3. Computer Journal V42n2( 1999)pp73-81
  4. =THEORY LOGIC MATHEMATICS FORMAL
  5. Dijkstra, Gries, no ref to [Parnas93]
  6. Shows three value: true, false and undefined calculus which allows recursive definitions via a Fixed point rule of inference.

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]