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)

1 Ph.D. thesis

1 results

2023
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
394 Downloads (Pure)