Registered user since Fri 6 Dec 2024
Name:Tim Lyon
Country:Germany
Affiliation:Technische Universität Dresden
Personal website: https://sites.google.com/view/timlyon
Research interests:Proof Theory, Non-Classical Logics, Knowledge Representation
Contributions
Using general profile