Photo of Jørgen Villadsen
  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

1989 …2023

Research output per year

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

Research Output

Filter
Poster
2015

Meta-Logical Reasoning in Higher-Order Logic

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

Research output: Contribution to conferencePosterResearchpeer-review

Open Access
File
397 Downloads (Pure)