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
On Natural Deduction and Axioms for Propositional and First-Order Logic
Villadsen, J.
(Invited speaker)
Algorithms, Logic and Graphs
Department of Applied Mathematics and Computer Science
Activity
:
Talks and presentations
›
Conference presentations
Period
17 Sept 2025
Event title
International Conference on Mathematical and Computational Linguistics for Proofs
Event type
Conference
Degree of Recognition
International