Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Formally Correct Deduction Methods for Computational Logic
From, Asta Halkjær
(PhD Student)
Paulson, Lawrence Charles
(Examiner)
Villadsen, Jørgen
(Main Supervisor)
Gierasimczuk, Nina
(Supervisor)
Braüner, Torben
(Examiner)
Algorithms, Logic and Graphs
Department of Applied Mathematics and Computer Science
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/02/2020
→
14/06/2023
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Computational Logic
Computer Science
100%
Completeness Proof
Computer Science
100%
Formalization
Computer Science
33%
Common Language
Computer Science
16%
Free Variable
Computer Science
16%
Soundness
Computer Science
16%
Computer Science
Computer Science
16%
Tableau System
Computer Science
16%
Research output
Publications per year
2023
2023
2023
1
Ph.D. thesis
Publications per year
Publications per year
Formally Correct Deduction Methods for Computational Logic
From, A. H.,
2023
,
Technical University of Denmark
.
175 p.
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
Computational Logic
100%
Completeness Proof
100%
Deduction Method
100%
Formalization
33%
Common Language
16%
384
Downloads (Pure)