University of Limerick Institutional Repository

Browsing by Author "Kabir, M.H."

DSpace Repository

Browsing by Author "Kabir, M.H."

Sort by: Order: Results:

  • Hamilton, Geoff W.; Kabir, M.H. (2008)
    It has previously been shown by Turchin in the context of supercompilation how metasystem transitions can be used in the proof of universally and existentially quantified conjectures. Positive supercompilation is a ...

Search DSpace

Browse

My Account

Statistics