Jasmin Christian Blanchette

View Scopus Profile

dr. Jasmin Christian Blanchette

 https://orcid.org/0000-0002-8367-0936
If you made any changes in Pure these will be visible here soon.

Search results

  • 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
    247 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
    261 Downloads (Pure)