Institutional Repository

Browsing Open Research Collection by Subject "Automated reasoning"

Browsing Open Research Collection by Subject "Automated reasoning"

Sort by: Order: Results:

  • Deduction systems based on resolution 
    Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...
  • Enhancing the Established Strategy for Constructing a Z Specification 
    Van der Poll, John A.; Kotze, Paula (2005)
    The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification, namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...
  • 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