Jasmin Christian Blanchette

View Scopus Profile

dr. Jasmin Christian Blanchette

 https://orcid.org/0000-0002-8367-0936

Search results

  • 2024

    Formalizing Fundamental Algebraic Number Theory

    Baanen, A., 29 Jan 2024, 124 p.

    Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

    Open Access
    File
    586 Downloads (Pure)
  • 2022

    Implementation of Higher-Order Superposition

    Vukmirovic, P., 18 Oct 2022, 207 p.

    Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

    Open Access
    File
    418 Downloads (Pure)
  • 2021

    Superposition for Higher-Order Logic

    Bentkamp, A., 10 May 2021, 202 p.

    Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

    Open Access
    File
    357 Downloads (Pure)