UVicSpace

Browsing by Author "Bagai, Rajiv"

Browsing by Author "Bagai, Rajiv"

Sort by: Order: Results:

  • Bagai, Rajiv (2018-06-19)
    The work described in this dissertation is mainly a study of some ordinal-theoretic properties of logic programs that are related to the downward powers of their immediate-consequence functions. The downward powers for any ...