Drag to reposition
Save
Cancel
Tim Lyon
Technische Universität Dresden
Home
Publications
19
Most Recent
Most Downloaded
Topics
Events
1
News and Updates
18
More details
Technische Universität Dresden
Institute of Artificial Intelligence
Research Scientist
Technische Universität Wien
Alumnus, 2021
Homepage
Dresden, SN, Germany
0000-0003-3214-0828
Areas of Specialization
Science, Logic, and Mathematics
Areas of Interest
Science, Logic, and Mathematics
My events
Past events
Tense Logics, Structural Proof Theory, and Effective Translations
Logic Group, The University of Melbourne
November 22, 2018