University of Limerick Institutional Repository

Browsing by Subject "theorem"

DSpace Repository

Browsing by Subject "theorem"

Sort by: Order: Results:

  • Butterfield, Andrew (2012)
    U (TP)2 is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and \programs as ...

Search DSpace

Browse

My Account

Statistics