Search Results

  • Showing 1 - 6 results of 6
Refine Results
  1. Cover Image

    Logical presentations of domains by Hulley, Hardy

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Algebraic terminological representation by Schmidt, Renate Anneliese

    Published 2016
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Modelling the algebra of weakest preconditions by Rewitzky, Ingrid Moira

    Published 2017
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    A topological framework for program semantics by Rewitzky, Ingrid Moira

    Published 2024
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Power constructs and propositional systems by Britz, Katarina

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    Formulas of first-order logic in distributive normal form by Nelte, Karen

    Published 2014
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: