Search Results - Rewitzky, Ingrid

  • Showing 1 - 6 results of 6
Refine Results
  1. 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:
  2. 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:
  3. Cover Image

    Inverted theory networks by Christodoulides, Nico

    Published 2014
    Other Authors: “…Rewitzky, Ingrid…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    A mathematical formulation of intelligent agents and their activities by Jeftha, Lindsey

    Published 2014
    Other Authors: “…Rewitzky, Ingrid…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Relational representations for bounded lattices with operators by Goosen, Gerrit

    Published 2010
    Other Authors: “…Rewitzky, Ingrid…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    A topological framework for modeling belief revision by Jeftha, Lindsey Craig

    Published 2010
    Other Authors: “…Rewitzky, Ingrid…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: