UJDigispace Repository

Browsing Theses and Dissertations by Subject "Game theory"

Browsing Theses and Dissertations by Subject "Game theory"

Sort by: Order: Results:

  • Dorfling, Michael Jacobus (1999-02)
    The aim of the thesis is to develop game-theoretic techniques for dealing with common problems in model theory, mainly that of showing logical equivalence between structures, and to illustrate the effectiveness of the ...
  • Van Drimmelen, Govert Cornelis (2003)
    This dissertation describes the solution toa specific logical problem, the satisfiability problem, in a logic of games called Alternating-time Temporal Logic (ATL). Computation Tree Logic (CTL) is a discrete branching-time ...
  • Mushore, Kudakwashe (2015)
    Threats to information assets have increased significantly since the adoption of Service Oriented Architecture (SOA). Gone are the days when organisations could just secure the perimeter of their applications. The study ...

Search UJDigispace


My Account