Jørgen Villadsen

View Scopus Profile

Jørgen Villadsen

 https://orcid.org/0000-0003-3624-1159

  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
Filter
Poster

Search results

  • 2015

    Meta-Logical Reasoning in Higher-Order Logic

    Villadsen, J., Schlichtkrull, A. & Hess, A. V., 2015. 1 p.

    Research output: Contribution to conference › Poster › Research › peer-review

    Open Access
    File
    579 Downloads (Pure)