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
Paper
2018

Drawing Trees

From, A. H., Schlichtkrull, A. & Villadsen, J., 2018. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
87 Downloads (Pure)

Natural Deduction Assistant (NaDeA)

Villadsen, J., From, A. H. & Schlichtkrull, A., 2018. 6 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
137 Downloads (Pure)

Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable

Villadsen, J., 2018. 6 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
132 Downloads (Pure)

Students' Proof Assistant (SPA)

Schlichtkrull, A., Villadsen, J. & From, A. H., 2018. 6 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
173 Downloads (Pure)

Substitutionless First-Order Logic: A Formal Soundness Proof

From, A. H., Larsen, J. B., Schlichtkrull, A. & Villadsen, J., 2018. 3 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
88 Downloads (Pure)

Teaching First-Order Logic with the Natural Deduction Assistant (NaDeA)

From, A. H., Hatteland, H. & Villadsen, J., 2018. 1 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
68 Downloads (Pure)