NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Algebraic Laws"”.

  1. USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow

    Bockenek, Joshua A.Virginia Tech2017

    … utilizing Hoare logic and Hoare-style algebraic laws of programming.

    vt Repository record

  2. Hyper-Complex Variables, Their Functions and Applications in Physics

    Ketchum, Pierce WaddellUniversity of Illinois at Urbana-Champaign1926

    uiuc Repository record