Institutional Repository

Browsing Research Outputs (School of Computing) by Subject "Resolution"

Browsing Research Outputs (School of Computing) by Subject "Resolution"

Sort by: Order: Results:

  • Heuristics for resolution-based set-theoretic proofs 
    Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
    A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
  • A multi-level Marketing case study : specifying forests and trees in Z 
    Van der Poll, J.A.; Kotze, P. (2003-06)
    A formal specification of a multi-level marketing (MLM) business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the ...

Search UnisaIR


Browse

My Account