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
Conference abstract for conference
2016

Running a Prover in a Prover - Isabelle as a Meta-Logic

Villadsen, J., 2016. 1 p.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File
51 Downloads (Pure)