NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Symbolic and mathematical logic"”.

  1. An analysis and implementation of linear derivation strategies

    Tabada, Winston M.Edith Cowan University, Research Online, Perth, Western Australia1991

    … (iv) SL -resolution, (v) the GC procedure, and (vi) SLM. The analysis is focused on the different restrictions and operations employed in each derivation strategy. The selection function, restrictive ancestor resolution, compulsory ancestor resolution on literals having atoms which are or …

    edithcowan Repository record