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 “"least fixpoints"”.

  1. Advancements in automated first-order verification

    Pena, LucasUniversity of Illinois at Urbana-Champaign2022

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms

    uiuc Repository record

  2. Towards eliminating expert creative help in automated reasoning

    Murali, AdithyaUniversity of Illinois at Urbana-Champaign2024

    Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms

    uiuc Repository record