University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Author "Kabir, M.H."

DSpace/Manakin Repository

Browsing Faculty of Science and Engineering 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


Advanced Search

Browse

My Account