Asta Halkjær From – Projects — Welcome to DTU Research Database

View Scopus Profile

Emailahfromdtudk
Websitehttp://www.compute.dtu.dk

Richard Petersens Plads, 322, 021
2800 Kgs. Lyngby
Denmark

Research activity per year

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

1 Active

1 results

Filter

PhD

Formally Correct Deduction Methods for Computational Logic
From, A. H., Villadsen, J. & Gierasimczuk, N.
01/02/2020 → 31/01/2023
Project: PhD